@inproceedings{DBIKR19,
  author = {Dureja, Rohit and Baumgartner, Jason and Ivrii, Alexander and Kanzelman, Robert and Rozier, Kristin Y.},
  title = {{Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties}},
  booktitle = {Proceedings of Formal Methods in Computer-Aided Design (FMCAD)},
  publisher = {{IEEE/ACM}},
  address = {San Jose, California},
  editors = {Clark Barrett and Jin Yang},
  month = oct,
  year = {2019},
  url = {https://doi.org/10.23919%2Ffmcad.2019.8894265},
  preprint = {../papers/DBIKR19.pdf},
  slides = {../papers/DBIKR19-slides.pdf},
  website = {http://temporallogic.org/research/FMCAD19/}
}