Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Schwoon, Stefan:
On the computation of McMillan's Complete Prefix for Contextual Nets and Graph Grammars
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. 91 - 106
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Titel:
On the computation of McMillan's Complete Prefix for Contextual Nets and Graph Grammars
Autor(in):
Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Schwoon, Stefan
Erscheinungsjahr
2010
Erschienen 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. 91 - 106
ISBN
WWW URL