Publication:2769612

zbMath0978.68092MaRDI QIDQ2769612

Moshe Y. Vardi, Orna Kupferman, Hana Chockler

Publication date: 5 February 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310528

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q60: Specification and verification (program logics, model checking, etc.)

03B44: Temporal logic