Verimag

bibtex

@inproceedings{IS00,
    title = {Using Garbage Collection in Model Checking },
    author = {Iosif, Radu and Sisto, Riccardo},
    year = {2000},
    booktitle = {SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings},
    pages = {20-33},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {1885},
    team = {DCS,PACSS},
}

Publication Sections


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

info visites 897744