Pedro Merino 0001, José María Troya Linero. Modelling and verification of the MCS layer with Spin. In Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors, The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996. Volume 32 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 101-110, DIMACS/AMS, 1996.
@inproceedings{MerinoL96,
title = {Modelling and verification of the MCS layer with Spin},
author = {Pedro Merino 0001 and José María Troya Linero},
year = {1996},
researchr = {https://researchr.org/publication/MerinoL96},
cites = {0},
citedby = {0},
pages = {101-110},
booktitle = {The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996},
editor = {Jean-Charles Grégoire and Gerard J. Holzmann and Doron A. Peled},
volume = {32},
series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
publisher = {DIMACS/AMS},
}