An implementation of an efficient algorithm for bisimulation equivalence
- Author
- J.-C. Fernandez
- Publisher
- Science of Computer Programming
- Language
- English
- Year
- 1989
- Page
- 18
- File Type
- pdf
- File Size
- 943.0 KiB
How to Download?!!!
Just click on START button on Telegram Bot