| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Compositionality: The Significant Difference: International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures: v. 1536 | | 978-3-540-65493-3 | 1998 | Willem-Paul de Roever · Hans Langmaack |
| Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings | | 978-3-540-00913-9 | 2008 | Oded Maler · Freek Wiedijk |
| Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers | | 978-3-642-11485-4 | 2010 | Irina Virbitskaite · Andrei Voronkov |
| Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings | | 978-3-540-51803-7 | 2008 | Howard Barringer · Behnam Banieqbal |
| Temporal Verification of Reactive Systems: Safety | | 978-0-387-94459-3 | 1995 | Zohar Manna |
| Temporal Verification of Reactive Systems, Safety | | 978-3-540-94459-1 | 1995 | " |
| The Temporal Logic of Reactive and Concurrent Systems | | 978-3-540-97664-6 | 1992 | " |
| The Temporal Logic of Reactive and Concurrent Systems: Specification | | 978-0-387-97664-8 | 1991 | " |