| Titel | A ground-complete axiomatization of finite-state processes in generic process algebra |
|---|---|
| Gepubliceerd in | Mathematical Structures in Computer Science, Vol. 18, No. 6, p.1057-. ISSN 0960-1295. |
| Auteur | Baeten, JCM (Jos); Bravetti, M (Mario) |
| Datum | 2008 |
| Type | artikel |
| Rechten | Copyright (c) Baeten, JCM (Jos); Copyright (c) Bravetti, M (Mario) |
| Publicatie | http://repository.tue.nl/650264 |
| OpenURL | Zoek deze publicatie in (uw) bibliotheek |
| Persistent Identifier | URN:NBN:NL:UI:25-650264 |
| Metadata | XML |
| Repository | Technische Universiteit Eindhoven |
Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie