| Originele taal-2 | Engels |
|---|---|
| Plaats van productie | Eindhoven |
| Uitgeverij | Capaciteitsgroep Informatica |
| Status | Gepubliceerd - 1993 |
Publicatie series
| Naam | TUE-TR-0035-V4.0-WP1 |
|---|
PROOFS: formalisms and methods
W.M.P. Aalst, van der, K.M. Hee, van
Onderzoeksoutput: Boek/rapport › Rapport › Academic