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
Current Page :
Number of result pages: 1
Number of documents: 4


DROPS-Home | Fulltext Search | Imprint Published by LZI