G. P. · Gabriel Popescu · Gabriele Papke
| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Automata for Branching and Layered Temporal Structures | 978-3-642-11882-1 (3-642-11882-8) | 2010 |
| Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems | 978-3-642-11880-7 (3-642-11880-1) | 2010 |