"Partial-Order Methods for Model Checking: From Linear Time to Branching Time."

Bernard Willems, Pierre Wolper (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics