| No. | Title | Author | Year |
|---|---|---|---|
| 1 | 04241 Abstracts Collection -- Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems | König, Barbara et al. | 2005 |
| 2 | Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences | Sobocinski, Pawel | 2005 |
| 3 | Summary 2: Graph Grammar Verification through Abstraction | Baldan, Paolo et al. | 2005 |
| 4 | Summary 3: On Graph(ic) Encodings | Bruni, Roberto et al. | 2005 |
| Number of result pages: | 1 |
| Number of documents: | 4 |
