| https://dblp.org/rdf/schema#authoredBy
|
https://dblp.org/pid/208/7416 +
, https://dblp.org/pid/90/3109 +
, https://dblp.org/pid/14/280 +
, https://dblp.org/pid/04/304 +
, https://dblp.org/pid/67/519 +
|
| https://dblp.org/rdf/schema#bibtexType
|
http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
|
| https://dblp.org/rdf/schema#createdBy
|
https://dblp.org/pid/208/7416 +
, https://dblp.org/pid/90/3109 +
, https://dblp.org/pid/14/280 +
, https://dblp.org/pid/04/304 +
, https://dblp.org/pid/67/519 +
|
| https://dblp.org/rdf/schema#documentPage
|
https://doi.org/10.34727/2020/ISBN.978-3-85448-042-6_8 +
|
| https://dblp.org/rdf/schema#doi
|
https://doi.org/10.34727/2020/ISBN.978-3-85448-042-6_8 +
|
| https://dblp.org/rdf/schema#listedOnTocPage
|
https://dblp.org/db/conf/fmcad/fmcad2020 +
|
| https://dblp.org/rdf/schema#numberOfCreators
|
5
|
| https://dblp.org/rdf/schema#pagination
|
16-25
|
| https://dblp.org/rdf/schema#primaryDocumentPage
|
https://doi.org/10.34727/2020/ISBN.978-3-85448-042-6_8 +
|
| https://dblp.org/rdf/schema#publishedAsPartOf
|
https://dblp.org/rec/conf/fmcad/2020 +
|
| https://dblp.org/rdf/schema#publishedIn
|
FMCAD
|
| https://dblp.org/rdf/schema#publishedInBook
|
FMCAD
|
| https://dblp.org/rdf/schema#publishedInStream
|
https://dblp.org/streams/conf/fmcad +
|
| https://dblp.org/rdf/schema#title
|
Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration.
|
| https://dblp.org/rdf/schema#yearOfEvent
|
2020
|
| https://dblp.org/rdf/schema#yearOfPublication
|
2020
|
| owl:sameAs |
https://doi.org/10.34727/2020/ISBN.978-3-85448-042-6_8 +
, http://dx.doi.org/10.34727/2020/ISBN.978-3-85448-042-6_8 +
|
| rdf:type |
https://dblp.org/rdf/schema#Publication +
, https://dblp.org/rdf/schema#Inproceedings +
|
| rdfs:label |
Rohit Dureja et al.: Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration. (2020)
|
