Titel in Übersetzung | A companion to coalgebraic weak bisimulation for action-type systems |
---|---|
Originalsprache | Englisch |
Seitenumfang | 64 |
Band | Technical report CSR-07-12, TU Eindhoven |
Publikationsstatus | Veröffentlicht - 2007 |
Systematik der Wissenschaftszweige 2012
- 101 Mathematik
- 102 Informatik