Scalable Computing: Practice and Experience SCPE

Kowalewski, S.

• Scalable Computing: Practice and Experience Vol. 1 No. 2 (1998) - Special Issue Papers
  Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems
  Abstract