Formal techniques for networked and distributed systems -- FORTE 2006. 26th IFIP WG 6.1 international conference, Paris, France, September 26--29, 2006. Proceedings

DOI10.1007/11888116zbMATH Open1120.68008OpenAlexW2487534064MaRDI QIDQ2382203

Author name not available (Why is that?)

Publication date: 28 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11888116

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Distributed systems (68M14)

Related Items (2)

Formal techniques for distributed systems. Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7--9, 2010. Proceedings ⋮ Formal techniques for distributed systems. Joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal, June 9--12, 2009. Proceedings

This page was built for publication: Formal techniques for networked and distributed systems -- FORTE 2006. 26th IFIP WG 6.1 international conference, Paris, France, September 26--29, 2006. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2382203)