TY  - BOOK
AU  - Beyer,Dirk
AU  - Boreale,Michele
TI  - 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 
SN  - 9783642385926
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Computers
KW  - Computer logic
KW  - Mathematical logic
N1  - Distributed computing models -- Formal specification -- Testing -- Verification methods -- Application-level distributed systems -- Telecommunication services -- Internet -- Embedded and real-time systems.-Networking and communication security and reliability
UR  - http://dx.doi.org/10.1007/978-3-642-38592-6
ER  -