The Algorithmics of Bisimilarity
Publikation: Forskning - peer review › Bidrag til bog/antologi
| Originalsprog | Engelsk |
|---|---|
| Titel | Advanced Topics in Bisimulation and Coinduction |
| Antal sider | 73 |
| Vol/bind | 52 |
| Udgiver | Cambridge University Press |
| Udgivelsesdato | 2011 |
| Sider | 100-172 |
| Kapitel | 3 |
| ISBN (trykt) | 9781107004979 |
| Status | Udgivet |
| Navn | Cambridge Tracts in Theoretical Computer Science |
|---|---|
| Nummer | 52 |
ID: 59464426