Titel in Übersetzung | Algebraic representation of bisimulation for the tagh format |
---|---|
Originalsprache | Englisch |
Seitenumfang | 17 |
Band | Technical report CSR-02-02, TU Eindhoven |
Publikationsstatus | Veröffentlicht - 2002 |
Systematik der Wissenschaftszweige 2012
- 101 Mathematik
- 102 Informatik