@inproceedings{ICGT-2012-GadducciLV,
author = "Fabio Gadducci and Alberto Lluch-Lafuente and Andrea Vandin",
booktitle = "{Proceedings of the Sixth International Conference on Graph Transformations}",
doi = "10.1007/978-3-642-33654-6_4",
editor = "Hartmut Ehrig and Gregor Engels and Hans-Jörg Kreowski and Grzegorz Rozenberg",
isbn = "978-3-642-33653-9",
pages = "51--65",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models}",
volume = 7562,
year = 2012,
}
Tags: