Verimag

bibtex

@inproceedings{BBM+03a,
    title = {Validation of asynchronous circuit specifications using IF/CADP },
    author = {Borrione, Dominique and Boubekeur, Menouer and Mounier, Laurent and Renaudin, Marc and Sirianni, Antoine},
    month = {December},
    year = {2003},
    booktitle = {IFIP Intl. Conference on VLSI, Darmstadt, Germany},
    team = {DCS,PACSS},
}

Publication Sections


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

info visites 845848