Elie Najm, Frank Olsen. Protocol verification with reactive Promela/Rspin. 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 111-132, DIMACS/AMS, 1996.
@inproceedings{NajmO96-0, title = {Protocol verification with reactive Promela/Rspin}, author = {Elie Najm and Frank Olsen}, year = {1996}, researchr = {https://researchr.org/publication/NajmO96-0}, cites = {0}, citedby = {0}, pages = {111-132}, 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}, }