María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel. A Tool for Abstraction in Model Checking. Electronic Notes in Theoretical Computer Science, 66(2):17-32, 2002. [doi]
@article{GallardoMMP02, title = {A Tool for Abstraction in Model Checking}, author = {María-del-Mar Gallardo and Jesús Martínez and Pedro Merino and Ernesto Pimentel}, year = {2002}, url = {http://www.elsevier.com/gej-ng/31/29/23/120/53/show/Products/notes/index.htt#003}, tags = {model checking, meta-model, abstraction, Meta-Environment}, researchr = {https://researchr.org/publication/GallardoMMP02}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {66}, number = {2}, pages = {17-32}, }