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
Dieser Eintrag ist freigegeben.