帕里托什·K·潘迪亚。 区间持续时间逻辑：表达性和可判定性。 （英语） Zbl 1270.68175号 Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，254-272（2002）。MSC公司：60年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Pandya}，电子。注释Theor。计算。科学。65，第6254-272号（2002年；兹bl 1270.68175） 全文： 内政部
阿纳尔多·莫拉。；Guilherme A.平托。 时间自动机的类和普遍性的不可判定性。 （英语） Zbl 1270.68148号 Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，238-253（2002）。MSC公司：65年第68季度 05年3月 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Moura}和\textit{G.A.Pinto}，电子。注释Theor。计算。科学。65，第6号，238--253（2002；Zbl 1270.68148） 全文： 内政部
莫勒，M.奥利弗；哈拉尔德街；玛丽亚·索里亚 密集实时系统的谓词抽象。 （英语） Zbl 1270.68174号 Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，218-237（2002）。MSC公司：60年第68季度 68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.O.Möller}等人，《电子》。注释Theor。计算。科学。65，No.6，218--237（2002；Zbl 1270.68174） 全文： 内政部
莫勒，M.奥利弗 停车可以让你更快地到达那里：模型增强可以加快实时模型检查。 （英语） Zbl 1270.68173号 Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，202-217（2002）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.O.Möller}，电子。注释Theor。计算。科学。65，第6号，202--217（2002；Zbl 1270.68173） 全文： 内政部
埃里克·默瑟。；克里斯·迈尔斯（Chris J.Myers）。；友大义达；郑浩 在LPN上使用部分阶的定时电路的模块化综合。 （英语） Zbl 1270.68217号 Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，180-201（2002）。MSC公司：68问题85 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Mercer}等人，《电子》。注释Theor。计算。科学。65，第6号，180--201（2002；Zbl 1270.68217） 全文： 内政部
菲利普·卢卡斯 基于时间自动机的消息序列图的时间语义。 （英语） Zbl 1270.68156号 Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，第160-179页（2002年）。MSC公司：68问题55 68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Lucas}，电子。注释Theor。计算。科学。65，第6号，160-179（2002年；兹bl 1270.68156） 全文： 内政部
熊宝安；高淳浩 通过有色时间Petri网的时间记忆调度实现实时嵌入式软件的形式化合成。 （英语） Zbl 1270.68052号 Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，140-159（2002）。MSC公司：68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.-A.Hsiung}和\textit{C.-H.Gau}，电子。注释Theor。计算。科学。65，第6号，140--159（2002；Zbl 1270.68052） 全文： 内政部
马蒂恩·亨德里克斯；Larsen，Kim G。 实时模型检查的精确加速。 （英语） Zbl 1270.68170号 Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，第120-139页（2002年）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hendriks}和\textit{K.G.Larsen}，电子。注释Theor。计算。科学。65，第6号，120--139（2002；Zbl 1270.68170） 全文： 内政部
Dimitar P.Guelev。；Van Hung，Dang先生 在持续时间演算中为状态添加前缀和投影。 （英语） Zbl 1270.68169号 Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记65，第6期，101-119（2002）。MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev}和\textit{D.Van Hung}，电子。注释Theor。计算。科学。65，No.6，101--119（2002；Zbl 1270.68169） 全文： 内政部
纳维尔·加尔比；马利卡·尤瓦拉伦 基于广义随机Petri网的重试排队系统性能分析。 （英语） Zbl 1270.68051号 Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，86-100（2002）。MSC公司：68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Gharbi}和\textit{M.Ioualen}，电子。注释Theor。计算。科学。65，第6号，86--100（2002；Zbl 1270.68051） 全文： 内政部
埃尔蒙特，杰罗姆；弗莱德里克·博尼奥尔 TPAP：用共享资源验证实时系统的抢占式进程代数。 （英语） Zbl 1270.68212号 Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，68-85（2002）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ermont}和\textit{F.Boniol}，电子。注释Theor。计算。科学。65，第6号，68-85（2002年；兹bl 1270.68212） 全文： 内政部
维克多·布拉伯曼；卡洛斯·洛佩斯·庞博；阿尔弗雷多·奥利维罗 关于改进时间自动机的向后验证（扩展摘要）。 （英语） Zbl 1270.68146号 Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，60-67（2002）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Braberman}等人，《电子》。注释Theor。计算。科学。65，第6号，60-67（2002；Zbl 1270.68146） 全文： 内政部
马吕斯·博兹加；侯建民；奥德·马勒；塞尔吉奥·尤文 使用时间自动机验证异步电路。 （英语） Zbl 1270.68164号 Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，47-59（2002）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozga}等人，《电子》。注释Theor。计算。科学。65，第6号，47-59（2002；Zbl 1270.68164） 全文： 内政部
马克·博伊尔 从具有转换间隔的定时Petri网到具有位置间隔的时间Petri网的转换（具有紧急性）。 （英语） Zbl 1270.68205号 Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，16-46（2002）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Boyer}，电子。注释Theor。计算。科学。65，No.6，16-46（2002；Zbl 1270.68205） 全文： 内政部
布切内布，H。；伯特洛特，G。 ITCPN状态空间的收缩。 （英语） Zbl 1270.68163号 Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，第1-15页（2002年）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Boucheneb}和\textit{G.Berthelot}，电子。注释Theor。计算。科学。65，第6号，1-15（2002；Zbl 1270.68163） 全文： 内政部