Peter Csaba Ölveczky · Peter Olafson · Peter Olofsson
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Formal Modeling and Analysis of Distributed Systems: An Introduction Based on Executable Modeling in Maude | 978-1-4471-6686-3 (1-4471-6686-8) | 2017 | ||
| Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers ... Computer and Information Science, Band 596 | 978-3-319-29509-1 (3-319-29509-8) | 2016 | Cyrille Artho | |
| Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, ... Papers | 978-3-642-16309-8 (3-642-16309-2) | 2010 | ||