Blume, Christoph:
Recognizable graph languages for the verification of dynamic systems
In: Graph Transformations : Proceedings of the 5th International Conference on Graph Transformation, ICGT 2010. - (Lecture Notes in Computer Science ; 6372) - Berlin [u.a.]: Springer, 2010, S. 384 - 387
Buchaufsatz/Kapitel in Sammelwerk2010Informatik
Titel:
Recognizable graph languages for the verification of dynamic systems
Autor(in):
Blume, ChristophLSF
Erscheinungsjahr
2010
WWW URL