Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers. Formal Modeling and Scheduling of Datapaths of Digital Document Printers. In Franck Cassez, Claude Jard, editors, Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Volume 5215 of Lecture Notes in Computer Science, pages 170-187, Springer, 2008. [doi]
@inproceedings{IgnaKYBGVVSS08,
title = {Formal Modeling and Scheduling of Datapaths of Digital Document Printers},
author = {Georgeta Igna and Venkatesh Kannan and Yang Yang and Twan Basten and Marc Geilen and Frits W. Vaandrager and Marc Voorhoeve and Sebastian de Smet and Lou J. Somers},
year = {2008},
doi = {10.1007/978-3-540-85778-5_13},
url = {http://dx.doi.org/10.1007/978-3-540-85778-5_13},
tags = {modeling},
researchr = {https://researchr.org/publication/IgnaKYBGVVSS08},
cites = {0},
citedby = {0},
pages = {170-187},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
editor = {Franck Cassez and Claude Jard},
volume = {5215},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-85777-8},
}