Bisimulation of labelled state-to-function transition systems coalgebraically
- D. Latella
- , M. Massink
- , E.P. de Vink
Research output: Contribution to journal › Article › Academic › peer-review
10
Link opens in a new tab
Citations
(Scopus)
122
Downloads
(Pure)