Formal Verification of Genetic Circuits Chapter

Overview

CU Boulder Authors

• Myers, Christopher

publication date

• January 1, 2012

has restriction

• closed

Date in CU Experts

• January 25, 2022 2:28 AM

Full Author List

• Myers CJ

author count

• 1

published in

• Lecture Notes in Artificial Intelligence  Journal

Other Profiles

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-3-642-31424-7_5

International Standard Book Number (ISBN) 13

• 9783642314230

Additional Document Info

start page

• 5

end page

• 5