Cite
HARVARD Citation
Boulgakov, A. et al. (2016). Computing maximal weak and other bisimulations. Formal aspects of computing. pp. 381-407. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Boulgakov, A. et al. (2016). Computing maximal weak and other bisimulations. Formal aspects of computing. pp. 381-407. [Online].