Model checking partial state spaces with 3-valued temporal logics (1999)

by Glenn Bruns, Patrice Godefroid
Venue:In Proceedings of the 11th International Conference on Computer Aided Verification, CAV ’99