B

  • Baniardalani.Sobhi Generating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton [ Vol.7, Issue 1 - Winter Year 2018]