A uniform approach to three-valued semantics for mu-calculus on abstractions of hybrid automata (2009)

by K Bauer, R Gentilini, K Schneider
Venue:in Haifa Verification Conference (HVC