Guarded transitions in evolving specifications

Samankaltaisia teoksia

• Evolving specification engineering
  Tekijä: Pavlovic, D, et al.
  Julkaistu: (2008)
• Towards semantics of guarded induction
  Tekijä: ́Pavlovic, D
  Julkaistu: (1998)
• Guarded induction on final coalgebras
  Tekijä: ́Pavlovic, D
  Julkaistu: (1998)
• Resolution Decision Procedures for the Guarded Fragment with Transitive Guards
  Tekijä: Kazakov, Y, et al.
  Julkaistu: (2015)
• A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
  Tekijä: Kazakov, Y
  Julkaistu: (2004)