%0 Conference Paper %1 conf/esop/CernyHKRZ15 %A Cerný, Pavol %A Henzinger, Thomas A. %A Kovács, Laura %A Radhakrishna, Arjun %A Zwirchmayr, Jakob %B ESOP %D 2015 %E Vitek, Jan %I Springer %K dblp %P 105-131 %T Segment Abstraction for Worst-Case Execution Time Analysis. %U http://dblp.uni-trier.de/db/conf/esop/esop2015.html#CernyHKRZ15 %V 9032 %@ 978-3-662-46668-1

@inproceedings{conf/esop/CernyHKRZ15, added-at = {2022-10-02T00:00:00.000+0200}, author = {Cerný, Pavol and Henzinger, Thomas A. and Kovács, Laura and Radhakrishna, Arjun and Zwirchmayr, Jakob}, biburl = {https://www.bibsonomy.org/bibtex/2cd95430c9f6c426ff5250c0c030f6f32/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2015}, editor = {Vitek, Jan}, ee = {https://doi.org/10.1007/978-3-662-46669-8_5}, interhash = {cda994242cc3afa4b349c139caaecaa7}, intrahash = {cd95430c9f6c426ff5250c0c030f6f32}, isbn = {978-3-662-46668-1}, keywords = {dblp}, pages = {105-131}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:33:55.000+0200}, title = {Segment Abstraction for Worst-Case Execution Time Analysis.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2015.html#CernyHKRZ15}, volume = 9032, year = 2015 }