Conference
Scaling BDD-based Timed Verification with Simulation Reduction.
Authors
Nguyen TK; Tan TH; Sun J; Li J; Liu Y; Chen M; Dong JS
Editors
Ogata K; Lawford M; Liu S
Series
Lecture Notes in Computer Science
Volume
10009
Pagination
pp. 363-382
Publication Date
January 1, 2016
ISBN-13
978-3-319-47845-6
Conference proceedings
ICFEM