zbMath0996.68112MaRDI QIDQ4536399
Shahar Maoz, Alexander Rabinovich
Publication date: 4 November 2002
Mathematics Subject Classification ID
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
Related Items