Framework of timed trace theoretic verification revisited Conference Proceeding

Overview

CU Boulder Authors

Myers, Christopher

publication date

November 19, 2001

has restriction

closed

Date in CU Experts

January 22, 2021 5:28 AM

Full Author List

Zhou B; Yoneda T; Myers C

author count

3

citation count

3

presented at event

10th Asian Test Symposium (ATS 01) Conference

Other Profiles

Digital Object Identifier (DOI)

https://doi.org/10.1109/ats.2001.990323

International Standard Book Number (ISBN) 10

0-7695-1378-6

Additional Document Info

start page

437

end page

442