Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2003
Rensink, A.
(2003)
Towards model checking graph grammars.
In: Workshop on Automated Verification of Critical Systems (AVoCS), Southampton, UK.
pp. 150-160.
Technical Report DSSE-TR-2003-02.
University of Southampton.
This list was generated on Thu May 24 07:49:37 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||