Bisimulation Equivalence Is Decidable fo
β
S. Christensen; H. Huttel; C. Stirling
π
Article
π
1995
π
Elsevier Science
π
English
β 480 KB