publication date
- August 19, 2012
An Improvement in Partial Order Reduction Using Behavioral Analysis
Conference Proceeding
Overview
has restriction
- closed
Date in CU Experts
- October 28, 2020 2:58 AM
Full Author List
- Zhang Y; Rodriguez E; Zheng H; Myers C
author count
- 4
citation count
- 11
presented at event
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 100
end page
- 107