Nicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili, Marcelo F. Frias. Parallel Bounded Verification of Alloy Models by TranScoping. In Ernie Cohen, Andrey Rybalchenko, editors, Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers. Volume 8164 of Lecture Notes in Computer Science, pages 88-107, Springer, 2013. [doi]
@inproceedings{RosnerPAJMF13,
title = {Parallel Bounded Verification of Alloy Models by TranScoping},
author = {Nicolás Rosner and Carlos Gustavo López Pombo and Nazareno Aguirre and Ali Jaoua and Ali Mili and Marcelo F. Frias},
year = {2013},
doi = {10.1007/978-3-642-54108-7_5},
url = {http://dx.doi.org/10.1007/978-3-642-54108-7_5},
researchr = {https://researchr.org/publication/RosnerPAJMF13},
cites = {0},
citedby = {0},
pages = {88-107},
booktitle = {Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers},
editor = {Ernie Cohen and Andrey Rybalchenko},
volume = {8164},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-54107-0},
}