Publication:5465010

zbMath1077.68053MaRDI QIDQ5465010

Georios Logothetis

Publication date: 19 August 2005

Full work available at URL: http://ces.univ-karlsruhe.de/Publications/cgi-bin/jahr_logo.cgi

zbMATH Keywords

equinox; timed Kripke structures

Mathematics Subject Classification ID

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

68-02: Research exposition (monographs, survey articles) pertaining to computer science