in FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 6722, Pages: 90-105 (16)
Conference
Joint 13Th Ifip Wg 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (Fmoods) / 31St Ifip Wg 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (Forte), Date: JUN 06-09, 2011, Location: Reykjavik Univ, Reykjavik, ICELAND, Sponsors: Int Federat Informat Proc WG 6 1, CCP Games, Host: Reykjavik Univ