| Original language | English |
|---|---|
| Place of Publication | Eindhoven |
| Publisher | Capaciteitsgroep Informatica |
| Publication status | Published - 1993 |
Publication series
| Name | TUE-TR-0035-V4.0-WP1 |
|---|
PROOFS: formalisms and methods
W.M.P. Aalst, van der, K.M. Hee, van
Research output: Book/Report › Report › Academic