Concepedia
Publication | Closed Access
Towards a unified view of bisimulation: a comparative study
29
Citations
15
References
2000
Year
Block DesignFormal MethodsEquivalence CheckingUnified ViewDiscrete Mathematics
Page 1