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


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

info visites 3900138