zbMath1031.68075MaRDI QIDQ4417914
Moshe Y. Vardi, Orna Kupferman, Doron Bustan, Roy Armoni
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190065.htm
Mathematics Subject Classification ID
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic