A Behavioral Analysis Approach for Efficient Partial Order Reduction Conference Proceeding

Overview

CU Boulder Authors

Myers, Christopher

publication date

November 10, 2011

has restriction

closed

Date in CU Experts

January 25, 2022 2:28 AM

Full Author List

Zhang Y; Rodriguez E; Zheng H; Myers C

author count

4

presented at event

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) Conference

Other Profiles

Digital Object Identifier (DOI)

https://doi.org/10.1109/hase.2011.15

Additional Document Info

start page

49

end page

56