BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-191206, author = {Zolda, Michael and B{\"u}nte, Sven and Kirner, Raimund}, title = {Context-Sensitivity in IPET for Measurement-Based Timing Analysis}, booktitle = {Context-Sensitivity in IPET for Measurement-Based Timing Analysis}, year = {2010}, pages = {487--490}, publisher = {Lecture Notes in Computer Science}, address = {6416}, doi = {10.1007/978-3-642-16561-0{\_}45}, note = {talk: 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Heraklion, Griechenland; 2010-10-18 -- 2010-10-20} } 1 Datensatz ausgegeben