Springer, Berlin · Springer, Wien
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International ... | 978-3-540-78912-3 (3-540-78912-X) | 2008 | Moller, Bernhard |
| Relations and Kleene Algebra in Computer Science | 978-3-642-04638-4 (3-642-04638-X) | 2009 | Ali Jaoua · Bernhard Möller |
| Tool Support for System Specification, Development and Verification | 978-3-211-83282-0 (3-211-83282-3) | 1999 | Yassine Lakhnech |