María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Estefanía Rosales
Using XML to implement abstraction for Model Checking
SAC, 2002.
@inproceedings{SAC-2002-GallardoMMR,
author = "María-del-Mar Gallardo and Jesús Martínez and Pedro Merino and Estefanía Rosales",
booktitle = "{Proceedings of the 17th Symposium on Applied Computing}",
doi = "10.1145/508791.508989",
pages = "1021--1025",
publisher = "{ACM}",
title = "{Using XML to implement abstraction for Model Checking}",
year = 2002,
}