| Originalsprog | Engelsk |
|---|
| Udgivelsessted | Århus |
|---|---|
| Forlag | BRICS - Basic Research in Computer Science |
| Udgave | RS-96-8 |
| Status | Udgivet - 1996 |
Bisimulations for Asynchronous Mobile Processes
Martin Hansen, Hans Hüttel, Josva Kleist
Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning