![](/img/cover-not-exists.png)
An implementation of an efficient algorithm for bisimulation equivalence
Jean-Claude FernandezVolume:
13
Year:
1990
Language:
english
Pages:
18
DOI:
10.1016/0167-6423(90)90071-k
File:
PDF, 943 KB
english, 1990