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


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

info visites 3900428