Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2005
Baldan, P. and König, B. and Rensink, A.
(2005)
Summary 2: Graph Grammar Verification through Abstraction.
In: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2005, Dagstuhl, Germany.
Dagstuhl Seminar 04241.
Dagstuhl.
ISSN 1862-4405
This list was generated on Thu May 24 06:18:54 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||