Guarded transitions in evolving specifications

Схожие документы

• Evolving specification engineering
  по: Pavlovic, D, и др.
  Опубликовано: (2008)
• Towards semantics of guarded induction
  по: ́Pavlovic, D
  Опубликовано: (1998)
• Guarded induction on final coalgebras
  по: ́Pavlovic, D
  Опубликовано: (1998)
• Resolution Decision Procedures for the Guarded Fragment with Transitive Guards
  по: Kazakov, Y, и др.
  Опубликовано: (2015)
• A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
  по: Kazakov, Y
  Опубликовано: (2004)