Original language | Undefined |
---|---|
Pages (from-to) | 34-42 |
Journal | Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica |
Issue number | 4 |
Publication status | Published - 2000 |
Keywords
- METIS-121905
- IR-76313
Hendrik Brinksma, P.R. d' Argenio, Joost P. Katoen
Research output: Contribution to journal › Article › Professional
Original language | Undefined |
---|---|
Pages (from-to) | 34-42 |
Journal | Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica |
Issue number | 4 |
Publication status | Published - 2000 |