| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| True Concurrency and Atomicity: A model checking approach with contextual Petri nets | 978-3-659-8O1O2-O (3-659-8O1O2-X) | 2015 |
A.F. · A. Franco · Alberto Boasso - Franco Gavello · Alberto Franco Pozzolo · Alberto Pizzoferrato Franco Carinci · Jorge Alberto Franco · William Alberto Cañon Franco