Compositional Model Checking of Concurrent Systems Journal Article

• Best Open Access

Overview

CU Boulder Authors

• Myers, Christopher

publication date

• June 1, 2015

has restriction

• green

Date in CU Experts

• October 28, 2020 2:58 AM

Full Author List

• Zheng H; Zhang Z; Myers CJ; Rodriguez E; Zhang Y

author count

• 5

citation count

• 5

published in

• IEEE Transactions on Computers  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 0018-9340

Electronic International Standard Serial Number (EISSN)

• 1557-9956

Digital Object Identifier (DOI)

• https://doi.org/10.1109/tc.2014.2329701

Additional Document Info

start page

• 1607

end page

• 1621

volume

• 64

issue

• 6