Framework of timed trace theoretic verification revisited Conference Proceeding uri icon

Overview

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

Other Profiles

International Standard Book Number (ISBN) 10

  • 0-7695-1378-6

Additional Document Info

start page

  • 437

end page

  • 442