bibtex

@inproceedings{Ios02,
    title = {Symmetry Reduction Criteria for Software Model Checking },
    author = {Iosif, Radu},
    year = {2002},
    booktitle = {Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings},
    pages = {22-41},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {2318},
    team = {DCS,PACSS},
}


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

info visites 4187411