Cover Image
Saved in:

Formal techniques for distributed systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, proceedings /

Bibliographic Details
Corporate Authors: International Conference on Formal Methods for Open Object-Based Distributed Systems Florence, Italy), SpringerLink (Online service), DisCoTec 2013, FORTE 2013
Other Authors: Beyer, Dirk., Boreale, Michele.
Format: Online Conference Proceeding Book
Published: Heidelberg ; New York : Springer, c2013.
Series:Lecture notes in computer science ; 7892.
LNCS sublibrary. Programming and software engineering.
Online Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!