Guarded transitions in evolving specifications

Míreanna comhchosúla

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