Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings /

Bibliographic Details
Corporate Authors:	International Conference on Formal Methods for Open Object-Based Distributed Systems Amsterdam, Netherlands, SpringerLink (Online service), FORTE 2010
Other Authors:	Hatcliff, John, 1966-, Zucca, Elena
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer, 2010.
Series:	Lecture notes in computer science ; 6117.
Subjects:	Formale Methode. Verteiltes System. Formal methods (Computer science) > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online