Verimag

bibtex

@inproceedings{RJR06,
    title = { Describing and executing random reactive systems },
    author = {Raymond, Pascal and Jahier, Erwan and Roux, Yvan},
    month = {sep},
    year = {2006},
    booktitle = {SEFM 2006, 4th IEEE International Conference on Software Engineering and Formal Methods},
    address = {Pune, India},
    team = {SYNC},
}

URL

Publication Sections


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

info visites 775801