Formele specificatie en simulatie : de RODOS-case

W.M.P. Aalst, van der, G.J.P.M. Houben, P. Toorn, van der, P. Vlist, van der

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

Originele taal-2Engels
Pagina's (van-tot)609-615
TijdschriftInformatie
Volume36
Nummer van het tijdschrift10
StatusGepubliceerd - 1994

Citeer dit