Verimag

bibtex

@inproceedings{MM04a,
    title = {Arrays and Contracts for the Specification and Analysis of Regular Systems },
    author = {Maraninchi, Florence and Morel, Lionel},
    month = {jun},
    year = {2004},
    booktitle = {Fourth International Conference on Application of Concurrency to System Design},
    address = {Hamilton, Ontario, Canada},
    team = {SYNC},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 15 ; visits: 429815