Temporal Verification of Reactive Systems: Safety

The Temporal Logic of Reactive and Concurrent Systems: Specification

Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures