Quasi-optimal partial order reduction Journal Article

Overview

CU Boulder Authors

• Sousa, Marcelo C

publication date

• July 1, 2021

Date in CU Experts

• February 13, 2025 1:34 AM

Full Author List

• Coti C; Petrucci L; Rodriguez C; Sousa M

author count

• 4

citation count

• 0

published in

• Formal Methods in System Design  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 0925-9856

Electronic International Standard Serial Number (EISSN)

• 1572-8102

Digital Object Identifier (DOI)

• https://doi.org/10.1007/s10703-020-00350-4

Additional Document Info

start page

• 3

end page

• 33

volume

• 57

issue

• 1