@thesis{Dur20,
  author = {Dureja, Rohit},
  title = {Model Checking Large Design Space: Theory, Tools, and Experiments},
  year = {2020},
  publisher = {Ph.D. Thesis, Iowa State University},
  pdf = {../papers/Dur20.pdf},
  award = {Research Excellence Award}
}