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


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 3748571