Journal article icon

Journal article

Computing maximal bisimulations

Actions


Access Document


Files:

Authors


Alexandre Bougakov More by this author
Thomas Gibson Robinson More by this author
A.W. Roscoe More by this author
Journal:
Proceedings of ICFEM
Publication date:
2014
URN:
uuid:c6eff0c2-bc86-4121-942b-f31287d67755
Local pid:
cs:9000

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP