Browse by Author Koch, Manuel
Showing results 1 to 1 of 1
| Preview | Issue Date | Title | Author(s) | Editor(s) |
|---|---|---|---|---|
 | 2-Jun-2000 | Integration of Graph transformation and temporal logic for the specification of distributed systems | Koch, Manuel | - |