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