| No. | Title | Author | Year |
|---|---|---|---|
| 1 | On the Decidability Status of Reachability and Coverability in Graph Transformation Systems | Bertrand, Nathalie et al. | 2012 |
| 2 | Conditional Reactive Systems | Bruggink, H. J. Sander et al. | 2011 |
| 3 | 04241 Abstracts Collection -- Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems | König, Barbara et al. | 2005 |
| 4 | Summary 2: Graph Grammar Verification through Abstraction | Baldan, Paolo et al. | 2005 |
| Number of result pages: | 1 |
| Number of documents: | 4 |
