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]

Informatie
Band: 36
Ausgabe: 10
Seite(n): 609-615

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-220665