An efficient algorithm for branching bisimulation and stuttering equivalence (1990)

Cached

Download Links

by Jan Friso Groote , Frits Va
Citations:70 - 3 self