bibtex

@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},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4137042