@inproceedings{GD00,
author = "Shankar G. Govindaraju and David L. Dill",
title = "Approximate Symbolic Model Checking Using Overlapping Projections",
booktitle= "First International Workshop on Symbolic Model
Checking (SMC99) at Federated Logic Conference (FLOC)",
Note="Trento, Italy",
month="July",
year=1999}