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
ISBN: 3-540-70543-0
Buchaufsatz / Kapitel / Fach: Informatik