Property Driven Three-Valued Model Checking on Hybrid Automata.

Kerstin Bauer, Raffaella Gentilini, Klaus Schneider

Browse the full WoLLIC paper archive.