in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007 in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 4574, Pages: 358-+ (2)
Conference
27Th International Conference on Formal Techniques for Networked and Distributed Systems, Date: JUN 27-29, 2007, Location: Tallinn, ESTONIA, Sponsors: IFIP WG6 1, Tallinn Univ Technol, Dept Comp Sci, Tallinn Univ Technol, Inst Cybernet
