in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 7843 LNCS, Pages: 134-149
Conference
9Th International Workshop on Web Services and Formal Methods, Ws-Fm 2012, Date: 6 September 2012 through 7 September 2012, Location: Tallinn