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 Sammelwerk2008Informatik
Titel:
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
Autor(in):
Joshi, Salil; König, BarbaraLSF
Erscheinungsjahr
2008
WWW URL