Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Lecture Notes in Computer Science, 4037)
Book information
Description
Book by
Similar books
Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
2020 · PDF
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
2017 · PDF
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
2017 · PDF
Introduction to Concurrency Theory: Transition Systems and CCS
2015 · PDF
Coordination of Internet Agents: Models, Technologies, and Applications
2001 · PDF
Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures
2005 · PDF
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA
2000 · PDF
Computational Methods in Systems Biology
2009 · PDF