TY  - BOOK
AU  - Graf,Susanne
AU  - Viswanathan,Mahesh
TI  - Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings 
SN  - 9783319191959
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing
KW  - Computer science
KW  - Software engineering
KW  - Computers
KW  - Computer logic
KW  - Mathematical logic
N1  - Ensuring Properties of Distributed Systems -- Formal Models of Concurrent and Distributed Systems -- Real Time Systems -- Security -- Efficient Verification Techniques
UR  - http://dx.doi.org/10.1007/978-3-319-19195-9
ER  -