Formele specificatie en simulatie: de RODOS-case

van der Aalst, Wil M. P.; Houben, G. J.; van der Toorn, P.; van de Vlist, P.

Amsterdam : AG-IT BV (1994)
Journal Article

In: Informatie
Volume: 36
Issue: 10
Page(s)/Article-Nr.: 609-615