@inproceedings{DBIKR19,
author = {Rohit Dureja and Jason Baumgartner and Alexander Ivrii and Robert Kanzelman and Kristin Yvonne Rozier},
title = {Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties},
booktitle = {{Formal Methods in Computer-Aided Design (FMCAD)}},
publisher = {{IEEE/ACM}},
address = {San Jose, California, USA},
month = {October},
year = {2019},
doi = {10.23919/FMCAD.2019.8894265},
}