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

Research output: Contribution to journalArticleProfessional

Original languageEnglish
Pages (from-to)609-615
JournalInformatie
Volume36
Issue number10
Publication statusPublished - 1994

Cite this