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)
Fachzeitschriftenartikel

In: Informatie
Band: 36
Heft: 10
Seite(n)/Artikel-Nr.: 609-615

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 9 (Process and Data Science) [122510]