Verimag

bibtex

@inproceedings{ALL02,
    title = {Using Formal Tools to Study Complex Circuits Behaviour },
    author = {Amblard, Paul and Lagnier, Fabienne and Levy, Michel},
    month = {September},
    year = {2002},
    booktitle = {IEEE Symposium on Digital Systems Design (Euromicro DSD 2002)},
    pages = {180--186},
    team = {SYNC},
}

Publication Sections


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

info visites 859226