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
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 03029743
