Temporal Logics and Model Checking for Fairly Correct Systems.

Daniele Varacca, Hagen Vlzer

Browse the full LICS paper archive.