Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/fmcad/DurejaBIKR19
%A Dureja, Rohit
%A Baumgartner, Jason
%A Ivrii, Alexander
%A Kanzelman, Robert
%A Rozier, Kristin Y.
%B FMCAD
%D 2019
%E Barrett, Clark W.
%E Yang, Jin
%I IEEE
%K dblp
%P 1-9
%T Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties.
%U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2019.html#DurejaBIKR19
%@ 978-0-9835678-9-9
@inproceedings{conf/fmcad/DurejaBIKR19,
added-at = {2019-11-14T00:00:00.000+0100},
author = {Dureja, Rohit and Baumgartner, Jason and Ivrii, Alexander and Kanzelman, Robert and Rozier, Kristin Y.},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22fba71fcdf715c9ad8b5e8f11b674186/dblp},
booktitle = {FMCAD},
crossref = {conf/fmcad/2019},
editor = {Barrett, Clark W. and Yang, Jin},
ee = {https://doi.org/10.23919/FMCAD.2019.8894265},
interhash = {89b260a3e4d5a8c2904b6a17ca71bcb9},
intrahash = {2fba71fcdf715c9ad8b5e8f11b674186},
isbn = {978-0-9835678-9-9},
keywords = {dblp},
pages = {1-9},
publisher = {IEEE},
timestamp = {2019-11-26T08:08:34.000+0100},
title = {Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties.},
url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2019.html#DurejaBIKR19},
year = 2019
}