Automated Technology for Verification and Analysis Conference Proceeding

Overview

CU Boulder Authors

• Somenzi, Fabio
• Trivedi, Ashutosh

publication date

• January 1, 2017

published in

• Lecture Notes in Artificial Intelligence  Journal

Other Profiles

Digital Object Identifier (DOI)

• 10.1007/978-3-319-68167-2

International Standard Book Number (ISBN) 13

• 9783319681665