Springer Berlin Heidelberg · Springer Vienna · Vieweg+Teubner Verlag
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Ordnungen, Verbände und Relationen mit Anwendungen | 978-3-8348-0595-9 | 2008 | |
| Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International ... Computer Science and General Issues) | 978-3-540-78912-3 | 2008 | |
| Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th ... Computer Science and General Issues) | 978-3-642-04638-4 | 2009 | Ali Mohamed Jaoua · Bernhard Möller |
| Tool Support for System Specification, Development and Verification | 978-3-211-83282-0 | 1999 | Yassine Lakhnech |