Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

Bibliographic Details
Main Authors: Bruni, Roberto, Dingel, Juergen
Language:English
Published: Springer 2011
Subjects:
Logic design
Software Engineering
Computer Communication Networks
Computer Science
TK5105.5
Iceland
Online Access:http://hdl.handle.net/2078/ebook:25682
https://doi.org/10.1007/978-3-642-21461-5
Description
Description not available.

Similar Items