VIVO
CU:
Home
•
A to Z
•
Campus Map
Home
People
Organizations
Publications
Honors
Research
International
About
An Improvement in Partial Order Reduction Using Behavioral Analysis
Conference Proceeding
Overview
Other Profiles
Additional Document Info
Overview
publication date
August 19, 2012
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
IEEE-Computer-Society Annual Symposium on VLSI (ISVLSI)
Conference
Other Profiles
Digital Object Identifier (DOI)
https://doi.org/10.1109/isvlsi.2012.15
Additional Document Info
start page
100
end page
107