@inproceedings{DIS99i,
title = {dSPIN: A Dynamic Extension of SPIN },
author = {Demartini, Claudio and Iosif, Radu and Sisto, Riccardo},
year = {1999},
booktitle = {Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings},
pages = {261-276},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1680},
team = {DCS,PACSS},
}
