Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang Pnueli Amir Innbundet / 1996 / Engelsk
Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers Pnueli Amir Heftet / 2010 / Engelsk
Hybrid Systems: Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings Wiedijk Freek Heftet / 2003 / Engelsk
Temporal Logic in Specification Altrincham, UK, April 8-10, 1987, Proceedings Banieqbal Behnam Heftet / 1989 / Engelsk
Compositionality: The Significant Difference International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures Roever, Willem-Paul de Heftet / 1998 / Engelsk
Temporal Logic of Reactive and Concurrent Systems Specification Manna Zohar Innbundet / 1991 / Engelsk
