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

Sections de Publications


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

info visites 876961