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 /

• 作者：edited by Roberto Bruni, Juergen Dingel.
• 出版者：Springer Berlin Heidelberg
• 出版地：Berlin, Heidelberg :
• 語文：英語
• 叢書名：Lecture notes in computer science,
• 電子資源：http://dx.doi.org/10.1007/978-3-642-21461-5
• ISBN/ISSN/ISRC：9783642214615 (electronic bk.) ; 9783642214608 (paper)
• 作者：Bruni, Roberto.;Dingel, Juergen.
• 索書號：004.36