BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-139292, author = {Wenzel, Ingomar and Rieder, Bernhard and Kirner, Raimund and Puschner, Peter}, title = { Automatic Timing Model Generation by CFG Partitioning and Model Checking}, booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2005)}, year = {2005}, pages = {606--611}, isbn = {0-7695-2288-2}, note = {talk: Conference on Design, Automation and Test in Europe, Munich, Germany; 2005-03-07 -- 2005-03-11} } 1 Datensatz ausgegeben