Joshi, Salil; König, Barbara:
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
In: Proceedings of the 20th International Conference of Computer Aided Verification, CAV 2008. - (Lecture Notes in Computer Science ; 5123) - Berlin [u.a.]: Springer, 2008, S. 214 - 226
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Titel:
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
Autor(in):
Joshi, Salil; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr
2008
Erschienen in:
Proceedings of the 20th International Conference of Computer Aided Verification, CAV 2008. - (Lecture Notes in Computer Science ; 5123) - Berlin [u.a.]: Springer, 2008, S. 214 - 226
ISBN
WWW URL