Publication:4536596
From MaRDI portal
zbMath0999.68124MaRDI QIDQ4536596
Moshe Y. Vardi, Orna Kupferman, P. S. Thiagarajan, P. Madhusudan
Publication date: 28 November 2002
68Q60: Specification and verification (program logics, model checking, etc.)
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)