Verimag
Home > Dissemination > Publications

bibtex

@article{Ios04,
    title = {Symmetry reductions for model checking of concurrent dynamic software },
    author = {Iosif, Radu},
    year = {2004},
    journal = {STTT},
    number = {4},
    pages = {302-319},
    volume = {6},
    team = {DCS,PACSS},
}

Publication Sections


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

info visites 818168