@inproceedings{GDB99,
author = "Shankar G. Govindaraju and David L. Dill and Jules P. Bergmann",
title = "Improved Approximate Reachability using Auxiliary State Variables",
booktitle="Proceedings of the 36th Design Automation Conference",
Note="New Orleans, LA",
month="June",
year=1999}