model checking

Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings (Lecture Notes in Computer Science)

Mario Bravetti, Gianluigi Zavattaro, Manuel Núñez

Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences ... 2005 (Lecture Notes in Computer Science)

Vladimiro Sassone

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science)

Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Theory and Applications of Models of Computation: Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings (Lecture Notes in Computer Science)

Jin-Yi Cai, Angsheng Li, S. Barry Cooper

Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings (Lecture Notes in Computer Science)

Radhia Cousot

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science)

Kedar S. Namjoshi, Andreas Podelski

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings (Lecture Notes in Computer Science)

Zhiming Liu, Jifeng He

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings (Lecture Notes in Computer Science)

Antonio Cerone, Ana Cavalcanti, Kamel Barkaoui

Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, ... (Lecture Notes in Computer Science)

Matthias Baaz

Transactions on Computational Systems Biology VII (Lecture Notes in Computer Science)

Corrado Priami