Formal Modeling and Analysis by Simulation of Data Paths in Digital Document Printers

Kannan, Venkatesh; van der Aalst, Wil M. P.; Voorhoeve, Marc

Aarhus, Denmark : University of Aarhus (2008)
Beitrag zu einem Tagungsband, Fachzeitschriftenartikel

In: DAIMI / PB
Band: 588
Seite(n)/Artikel-Nr.: 27-46

Einrichtungen

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