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


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

info visites 4121950