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)
Contribution to a conference proceedings, Journal Article

In: DAIMI / PB
Volume: 588
Page(s)/Article-Nr.: 27-46

Institutions

• Department of Computer Science [120000]
• Chair of Computer Science 9 (Process and Data Science) [122510]