%0 Conference Paper %1 conf/formats/IgnaKYBGVVSS08 %A Igna, Georgeta %A Kannan, Venkatesh %A Yang, Yang %A Basten, Twan %A Geilen, Marc %A Vaandrager, Frits W. %A Voorhoeve, Marc %A de Smet, Sebastian %A Somers, Lou J. %B FORMATS %D 2008 %E Cassez, Franck %E Jard, Claude %I Springer %K dblp %P 170-187 %T Formal Modeling and Scheduling of Datapaths of Digital Document Printers. %U http://dblp.uni-trier.de/db/conf/formats/formats2008.html#IgnaKYBGVVSS08 %V 5215 %@ 978-3-540-85777-8

@inproceedings{conf/formats/IgnaKYBGVVSS08, added-at = {2018-11-02T00:00:00.000+0100}, author = {Igna, Georgeta and Kannan, Venkatesh and Yang, Yang and Basten, Twan and Geilen, Marc and Vaandrager, Frits W. and Voorhoeve, Marc and de Smet, Sebastian and Somers, Lou J.}, biburl = {https://www.bibsonomy.org/bibtex/22a42da5abea8b7ada5d17976f38bd499/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2008}, editor = {Cassez, Franck and Jard, Claude}, ee = {https://doi.org/10.1007/978-3-540-85778-5_13}, interhash = {58353bb26c40eeb5e21acc02e1cad4da}, intrahash = {2a42da5abea8b7ada5d17976f38bd499}, isbn = {978-3-540-85777-8}, keywords = {dblp}, pages = {170-187}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:44:19.000+0200}, title = {Formal Modeling and Scheduling of Datapaths of Digital Document Printers.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2008.html#IgnaKYBGVVSS08}, volume = 5215, year = 2008 }