Cited By
View all- Andritsopoulos FCharopoulos CDoumenis GKaroubalis FMitsos YPetreas FTheologitou IPerissakis SReisis D(2003)Verification of a Complex SoCProceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 210.5555/1022685.1022954Online publication date: 3-Mar-2003
- Ykman-Couvreur CLambrecht Jvan der Togt ACatthoor FMueller FChilimbi TDing C(2002)Multi-objective abstract data type refinement for mapping tables in telecom network applicationsProceedings of the 2002 workshop on Memory system performance10.1145/773146.773046(65-75)Online publication date: 16-Jun-2002
- Ykman-Couvreur CLambrecht Jvan der Togt ACatthoor F(2002)Multi-objective abstract data type refinement for mapping tables in telecom network applicationsACM SIGPLAN Notices10.1145/773039.77304638:2 supplement(65-75)Online publication date: 16-Jun-2002
- Show More Cited By