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
ISBN: 978-3-642-15927-5
Buchaufsatz / Kapitel / Fach: Informatik