%0 Conference Paper %1 conf/iclp/Zwirchmayr10 %A Zwirchmayr, Jakob %B ICLP (Technical Communications) %D 2010 %E Hermenegildo, Manuel V. %E Schaub, Torsten %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 303-305 %T Cutting-Edge Timing Analysis Techniques. %U http://dblp.uni-trier.de/db/conf/iclp/iclp2010.html#Zwirchmayr10 %V 7 %@ 978-3-939897-17-0

@inproceedings{conf/iclp/Zwirchmayr10, added-at = {2018-08-23T00:00:00.000+0200}, author = {Zwirchmayr, Jakob}, biburl = {https://www.bibsonomy.org/bibtex/2edc7bec07b14a8a9902d938ed9126d6c/dblp}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2010}, editor = {Hermenegildo, Manuel V. and Schaub, Torsten}, ee = {https://doi.org/10.4230/LIPIcs.ICLP.2010.303}, interhash = {36d109e49e5c09487a89c7d9df239116}, intrahash = {edc7bec07b14a8a9902d938ed9126d6c}, isbn = {978-3-939897-17-0}, keywords = {dblp}, pages = {303-305}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:18:55.000+0200}, title = {Cutting-Edge Timing Analysis Techniques.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2010.html#Zwirchmayr10}, volume = 7, year = 2010 }