Quasi-Optimal Partial Order Reduction Conference Proceeding

Overview

CU Boulder Authors

• Sousa, Marcelo C

publication date

• July 14, 2018

Date in CU Experts

• February 13, 2025 1:34 AM

Full Author List

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

Full Editor List

• Chockler H; Weissenbacher G

author count

• 5

citation count

• 15

published in

• Lecture Notes in Artificial Intelligence  Journal

presented at event

• 30th International Conference on Computer-Aided Verification (CAV) Held as Part of the Federated Logic Conference (FloC)  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 0302-9743

Electronic International Standard Serial Number (EISSN)

• 1611-3349

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-3-319-96142-2_22

International Standard Book Number (ISBN) 13

• 978-3-319-96141-5

Additional Document Info

start page

• 354

end page

• 371

volume

• 10982