Coalgebraic weak bisimulation for action-type systems
- A. Sokolova
- , E.P. Vink, de
- , H. Woracek
Research output: Contribution to journal › Article › Academic › peer-review
221
Downloads
(Pure)