Bisimulation is two-way simulation
| Authors |
|
|---|---|
| Publication date | 1994 |
| Journal | Information Processing Letters |
| Volume | Issue number | 52 |
| Pages (from-to) | 285-287 |
| Organisations |
|
| Document type | Article |
| Published at |
https://doi.org/10.1016/0020-0190(94)00165-0
(Final published version)
|
| Downloads | |
| Permalink to this page | |
