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

Sections de Publications


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

info visites 873350