Verification of timed systems using POSETs Conference Proceeding uri icon

Overview

publication date

  • June 28, 1998

Date in CU Experts

  • October 28, 2020 2:57 AM

Full Author List

  • Belluomini W; Myers CJ

Full Editor List

  • Hu AJ; Vardi MY

author count

  • 2

citation count

  • 11

Other Profiles

International Standard Serial Number (ISSN)

  • 0302-9743

International Standard Book Number (ISBN) 10

  • 3-540-64608-6

Additional Document Info

start page

  • 403

end page

  • 415

volume

  • 1427