فهرس المقالات Discrete Trace Transition System حرية الوصول المقاله صفحة الملخص نص كامل 1 - Generating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton Sobhi Baniardalani
