@会议记录{zwirchmayr:LIPIcs.ICLP.2010.303,作者={Zwirchmayr,Jakob},title={{切边计时分析技术}},booktitle={第26届逻辑编程国际会议的技术交流},页数={303--305},series={Leibniz国际信息学论文集(LIPIcs)},ISBN={978-3-939897-17-0},ISSN={1868-8969},年份={2010},体积={7},editor={Hermenegildo,Manuel和Schaub,Torsten},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.303},URN={URN:nbn:de:0030-drops-26140},doi={10.4230/LIPIcs.ICLP.2010.303},annote={关键词:验证,定时分析,硬实时系统,静态分析,最坏情况下的执行时间,循环变量,嵌套循环,符号计算,}}