"Temporal Logic Model Checking: Two Techniques for Avoiding the State ..."

Edmund M. Clarke (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics