@会议记录{basin_et_al:LIPIcs.FSTTCS.2008.1740，author={Basin、David和Klaedtke、Felix和M“{u} 勒尔，塞缪尔和普菲茨曼，比吉特}，title={{度量一阶时间属性的运行时监视}}，booktitle={IARCS软件技术和理论计算机科学基础年会}，页数={49--60}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-08-8}，ISSN={1868-8969}，年份={2008}，体积={2}，编辑者＝{Hariharan，Ramesh和Mukund，Madhavan和Vinay，V}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2008.1740},URN={URN:nbn:de:0030-drops-17404}，doi={10.4230/LIPIcs.FSTTCS.2008.1740}，annote={关键词：运行时监控，度量一阶时态逻辑，自动结构，时态数据库}}
