Using Decision Diagrams to Compactly Represent the State Space for Explicit Model Checking Conference Proceeding

Overview

CU Boulder Authors

Myers, Christopher

publication date

November 9, 2012

Date in CU Experts

October 28, 2020 2:57 AM

Full Author List

Zheng H; Price A; Myers C

author count

3

citation count

3

published in

Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT Journal

presented at event

17th IEEE International High Level Design Validation and Test Workshop (HLDVT) Conference

Other Profiles

International Standard Serial Number (ISSN)

1552-6674

International Standard Book Number (ISBN) 13

978-1-4673-2898-2

Additional Document Info

start page

17

end page

24