Formal Techniques for Distributed Systems
Subtitle: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... 2013, Florence, Italy,             June 3-5
Publisher: Springer
Published: Jun 04, 2013
Format: paperback
Number of pages: 336
ISBN-13: 9783642385933
Notes: Source title: Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... 2013, Florence, Italy,             June 3-5