Guarded transitions in evolving specifications

Eitemau Tebyg

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