Guest Editorial: Special issue on formal modeling and analysis of timed systems Journal Article uri icon

Overview

publication date

  • May 1, 2017

has restriction

  • bronze

Date in CU Experts

  • May 23, 2017 2:02 AM

Full Author List

  • Paolieri M; Sankaranarayanan S; Vicario E

author count

  • 3

Other Profiles

International Standard Serial Number (ISSN)

  • 0922-6443

Electronic International Standard Serial Number (EISSN)

  • 1573-1383

Additional Document Info

start page

  • 289

end page

  • 290

volume

  • 53

issue

  • 3