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 /

Corporate Author: SpringerLink (Online service)
Other Authors: Hatcliff, John., Zucca, Elena.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series: Lecture Notes in Computer Science, 6117
Subjects:
Online Access: http://dx.doi.org/10.1007/978-3-642-13464-7
Tags: Add Tag
No Tags, Be the first to tag this record!