@inproceedings{GD00,
author = "Shankar G. Govindaraju and David L. Dill",
title = "Counterexample-guided Choice of Projections in Approximate 
Symbolic Model Checking",
booktitle= "Proceedings of International Conference on Computer-Aided Design",
Note="San Jose, CA",
month="November",
year=2000}