Login / Signup

Checking Hybrid Automata for Linear Duration Invariants.

Xuandong LiDang Van HungTao Zheng
Published in: ASIAN (1997)
Keyphrases
  • hybrid automata
  • finite state automata