List of Articles Discrete Trace Transition System

• Open Access Article
  • Abstract Page
  • Full-Text
  
  1 - Generating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
  Sobhi Baniardalani
  20.1001.1.22519246.2018.07.01.1.9