Blume, Christoph:
Recognizable Graph Languages for the Verification of Dynamic Systems
In: Graph Transformations : Proceedings / Ehrig, Hartmut; Rensink, Arend; Rozenberg, Grzegorz; Schürr, Andy (Hrsg.). - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010 - Berlin [u.a.]: Springer, 2010 - (Lecture Notes in Computer Science ; 6372), S. 384 - 387
2010Buchaufsatz/Kapitel in Tagungsband
InformatikFakultät für Wirtschaftswissenschaften » Fachgebiet Informatik » Software Engineering
Titel in Englisch:
Recognizable Graph Languages for the Verification of Dynamic Systems
Autor*in:
Blume, ChristophUDE
LSF ID
50911
Sonstiges
der Hochschule zugeordnete*r Autor*in
Scopus ID
Sprache des Textes:
Englisch