Branching Time and Orthogonal Bisimulation Equivalence
| Authors | |
|---|---|
| Publication date | 2000 |
| Series | Report SEN, R0035 |
| Publisher | Nederland: CWI |
| Organisations |
|
| Document type | Report |
| Permalink to this page | |
