Verimag

bibtex

@inproceedings{Mar92,
    title = {Operational and Compositional Semantics of Synchronous Automaton Compositions },
    author = {Maraninchi, Florence},
    month = {aug},
    year = {1992},
    booktitle = {International Conference on Concurrency Theory (CONCUR)},
    publisher = {LNCS 630, Springer Verlag},
    team = {SYNC},
}

Publication Sections


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

info visites 875629