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