Axiomatizing Prefix Iteration with Silent Steps
Publikation: Forskning › Bog
| Originalsprog | Engelsk |
|---|---|
| Udgivelsesdato | 1995 |
| Udgivelsessted | Århus : Daimi |
|---|---|
| Udgiver | Department of Computer Science, Aarhus University |
| Antal sider | 25 |
| Status | Udgivet |
| Serie | Brics Report Series |
|---|---|
| Nummer | RS-95-56 |
| ISSN (trykt) | 0909-0878 |
ID: 104193