Models and Axioms for a Fragment of Real Time Process Algebra
| Authors | |
|---|---|
| Supervisors | |
| Publication date | 1994 |
| Number of pages | 216 |
| Organisations |
|
| Document type | PhD thesis |
| Note | Research conducted at: TUE |
| Permalink to this page | |
