Uppaal-a tool suite for automatic verification of real-time systems

Author(s)

Journal

  • LNCS

    LNCS 1066, 232-243, 1996

Cited by:  8

Codes

  • NII Article ID (NAID)
    80009087407
  • Article Type
    Journal Article
  • Data Source
    CJPref 
Page Top