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