@inproceedings{ICGT-2010-GadducciLV,
author = "Fabio Gadducci and Alberto Lluch-Lafuente and Andrea Vandin",
booktitle = "{Proceedings of the Fifth International Conference on Graph Transformations}",
doi = "10.1007/978-3-642-15928-2_19",
editor = "Hartmut Ehrig and Arend Rensink and Grzegorz Rozenberg and Andy Schürr",
isbn = "978-3-642-15927-5",
pages = "282--297",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Counterpart Semantics for a Second-Order μ-Calculus}",
volume = 6372,
year = 2010,
}
Tags: