scientific article; zbMATH DE number 1956572

zbMath1031.68080MaRDI QIDQ4417913

Orna Kupferman, Rupak Majumdar, Thomas A. Henzinger

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190049.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)