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

Andreas Nonnengart, Georg Rock, Werner Stephan

Browse the full FlAIRS paper archive.