An Efficient Algorithm for Branching and Stuttering Equivalence (1990)

by J F Groote, F W Vaandrager
Venue:Automata, Languages and Programming, 17th. International Colloquium, Proceedings, volume 443 of Lecture Notes in Computer Science