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

Cached

Download Links

by Jan Friso Groote , Frits Va
Citations:61 - 2 self