by Marko Samer, Helmut Veith
Reference:
Parameterized VacuityMarko Samer, Helmut VeithFormal Methods in Computer-Aided Design, 5th International Confrence, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings (Alan J. Hu, Andrew K. Martin, eds.), pages 322–336, 2004, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/fmcad/SamerV04,
author = {Marko Samer and Helmut Veith},
title = {Parameterized Vacuity},
year = {2004},
booktitle = {Formal Methods in Computer-Aided Design, 5th International Confrence, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
editor = {Alan J. Hu and Andrew K. Martin},
pages = {322--336},
publisher = {Springer},
isbn = {3-540-23738-0},
url = {http://springerlink.metapress.com/openurl.asp?genre$=$article\&issn$=$0% 302-9743\&volume$=$3312\&spage$=$322}
}