Synthesis of Real-Time Component Behavior

Henkler, Stefan; Seibel, Andreas; Giese, Holger

by Stefan Henkler, Andreas Seibel, Holger Giese

Reference:

Synthesis of Real-Time Component Behavior (Stefan Henkler, Andreas Seibel, Holger Giese), Technical report tr-ri-08-296, Computer Science Department, University of Paderborn, 2008.

Bibtex Entry:

@TechReport{HSG08_ag,
AUTHOR = {Henkler, Stefan and Seibel, Andreas and Giese, Holger},
TITLE = {{Synthesis of Real-Time Component Behavior}},
YEAR = {2008},
MONTH = {December},
NUMBER = {tr-ri-08-296},
INSTITUTION = {Computer Science Department, University of Paderborn}
}