Using Hybrid Automata to Express Realtime Properties in VSE-II.

Published in: FLAIRS Conference (2001)

Keyphrases