in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 7892 LNCS, Pages: 242-257
Conference
Joint Ifip Wg 6.1 International Conference on Formal Techniques for Distributed Systems, Fmoods/Forte 2013, Held as Part of the 8Th International Federated Conference on Distributed Computing Techniques, Discotec 2013, Date: 3 June 2013 through 5 June 2013, Location: Florence, Sponsors: International Federation for Information Processing (IFIP);Universita di Firenze
