| Originalsprog | Engelsk |
|---|
| Forlag | Faculty of Science, University of Copenhagen |
|---|---|
| Status | Udgivet - 2012 |
Regular Expressions and Multiparty Session Types with Applications to Workflow Based Verification of User Interfaces
Lasse Nielsen
Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning