@phdthesis
{ShankarThesis,
AUTHOR = "Gaurishankar Govindaraju",
TITLE = "Approximate Symbolic Model Checking Using Overlapping Projections",
SCHOOL = "Stanford University",
MONTH = "August",
YEAR = "2000"
}