Temporal Logics and Model Checking for Fairly Correct Systems (1987)

by D Varacca, H Völzer
Venue:Rocky Mountain Journal of Mathematics