Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||