Dragan Bosnacki, Dennis Dams, Leszek Holenderski. Symmetric Spin. In Klaus Havelund, John Penix, Willem Visser, editors, SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings. Volume 1885 of Lecture Notes in Computer Science, pages 1-19, Springer, 2000.
@inproceedings{BosnackiDH00,
title = {Symmetric Spin},
author = {Dragan Bosnacki and Dennis Dams and Leszek Holenderski},
year = {2000},
researchr = {https://researchr.org/publication/BosnackiDH00},
cites = {0},
citedby = {0},
pages = {1-19},
booktitle = {SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings},
editor = {Klaus Havelund and John Penix and Willem Visser},
volume = {1885},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-41030-9},
}