Framework of timed trace theoretic verification revisited Journal Article

Overview

CU Boulder Authors

• Myers, Christopher

publication date

• October 1, 2002

Date in CU Experts

• October 28, 2020 2:58 AM

Full Author List

• Zhou B; Yoneda T; Myers C

author count

• 3

citation count

• 1

published in

• IEICE Transactions on Information and Systems  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 1745-1361

Additional Document Info

start page

• 1595

end page

• 1604

volume

• E85D

issue

• 10