Verimag

bibtex

@inproceedings{ALL03,
    title = {Finite state machines: composition, verification, minimization: a case study },
    author = {Amblard, Paul and Lagnier, Fabienne and Levy, Michel},
    month = {June 26-28},
    year = {2003},
    booktitle = {10th International Conference on Mixed Design (MIXDES03), Lodz, Poland},
    team = {SYNC},
}

Publication Sections


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

info visites 895480