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

Free Download Book