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

Bernard Willems, Pierre Wolper

Browse the full LICS paper archive.