Formal Techniques for Distributed Systems, FMOODS-FORTE 2011, Reykjavik, Iceland, June 6-9, 2011
Main Authors: | , , , |
---|---|
Other Authors: | , |
Format: | Other/Unknown Material |
Language: | English |
Published: |
SPRINGER VERLAG
2011
|
Subjects: | |
Online Access: | http://hdl.handle.net/11568/149182 https://doi.org/10.1007/978-3-642-21461-5 |
Description not available. |