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

Overview

publication date

  • May 1, 2017

Full Author List

  • Paolieri M; Sankaranarayanan S; Vicario E

Other Profiles

Additional Document Info

start page

  • 289

end page

  • 290

volume

  • 53

issue

  • 3