I
[IKY+08] Georgeta Igna, Vankatesh Kannan, Yang Yang, Twan Basten, Marc C.W. Geilen, Frits Vaandrager, Marc Voorhoeve, Sebastian de Smet, and Lou J. Somers. Formal Modeling and Scheduling of Datapaths of Digital Document Printers. In FORMATS'08, Lecture Notes in Computer Science 5215, pages 170-187. Springer-Verlag, September 2008. 
@inproceedings{formats2008-IKYBGVVSS,
  author =              {Igna, Georgeta and Kannan, Vankatesh and Yang, Yang
                         and Basten, Twan and Geilen, Marc C.W. and
                         Vaandrager, Frits and Voorhoeve, Marc and de Smet,
                         Sebastian and Somers, Lou J.},
  title =               {Formal Modeling and Scheduling of Datapaths of
                         Digital Document Printers},
  editor =              {Cassez, Franck and Jard, Claude},
  booktitle =           {{P}roceedings of the 6th {I}nternational
                         {C}onferences on {F}ormal {M}odelling and {A}nalysis
                         of {T}imed {S}ystems ({FORMATS}'08)},
  acronym =             {{FORMATS}'08},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {5215},
  pages =               {170-187},
  year =                {2008},
  month =               sep,
}
List of authors