Roope Kaivola
-
On Stubborn Sets in the Verification of Linear Time Temporal Properties
Formal Methods in System Design
Compositionality and locality for improving model checking in the selective mu-calculus
Science of Computer Programming