Formal Techniques for Distributed Systems, FMOODS-FORTE 2011, Reykjavik, Iceland, June 6-9, 2011

• Main Authors: BRUNI R, DINGEL J, Bruni, Roberto, Dingel, J.
• Other Authors: BRUNI, ROBERTO, DINGEL J.
• Format: Other/Unknown Material
• Language: English
• Published: SPRINGER VERLAG 2011
• Subjects: Iceland
• Online Access: http://hdl.handle.net/11568/149182; https://doi.org/10.1007/978-3-642-21461-5