in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 6722 LNCS, Pages: 90-105
Conference
Joint 13Th Ifip Wg 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, Fmoods 2011 and 31St Ifip Wg 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, Forte 2011, Date: 6 June 2011 through 9 June 2011, Location: Reykjavik, Sponsors: International Federation for Information Processing (IFIP);Reykjavik University;CCP Games Iceland
