Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon
On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars
ICGT, 2010.
@inproceedings{ICGT-2010-BaldanBCKS,
author = "Paolo Baldan and Alessandro Bruni and Andrea Corradini and Barbara König and Stefan Schwoon",
booktitle = "{Proceedings of the Fifth International Conference on Graph Transformations}",
doi = "10.1007/978-3-642-15928-2_7",
editor = "Hartmut Ehrig and Arend Rensink and Grzegorz Rozenberg and Andy Schürr",
isbn = "978-3-642-15927-5",
pages = "91--106",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars}",
volume = 6372,
year = 2010,
}
Tags: