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 Sammelwerk2010Informatik
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, BarbaraLSF; Schwoon, Stefan
Erscheinungsjahr
2010
WWW URL