| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings | 978-3-642-04080-1 | 2009 | Gianluigi Zavattaro |
| [(CONCUR 2009 - Concurrency Theory)] | 978-3-642-04082-5 | 2009 |
| Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web ... Notes in Computer Science, Band 3670) | 978-3-540-28701-8 | 2008 | Leila Kloul · Gianluigi Zavattaro |
| Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings | 978-3-642-40560-0 | 2013 | Robert M. Hierons · Mercedes G. Merayo |
| Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers | 978-3-642-19588-4 | 2011 | Tevfik Bultan |
| Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings | 978-3-540-38862-3 | 2009 | Manuel Núñz · Gianluigi Zavattaro |