Parameterized Vacuity

Samer, Marko; Veith, Helmut

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