塔蒂亚娜·瑞比纳;安德烈·沃龙科夫 可达性的逻辑重建。 （英语） Zbl 1254.68153号 Broy，Manfred（编辑）等人，《系统信息学视角》。2003年7月9日至12日，第五届安德烈·埃尔绍夫国际纪念大会，PSI 2003，俄罗斯新西伯利亚Akademgorodok。修订论文。柏林：施普林格出版社（ISBN 3-540-20813-5/pbk）。计算机科学课堂讲稿2890222-237（2003）。MSC公司：60年第68季度 03C07号机组 03C98号 PDF格式BibTeX公司 XML格式引用 \textit{T.Rybina}和\textit{A.Voronkov}，莱克特。注释计算。科学。2890、222--237（2003年；Zbl 1254.68153） 全文： 内政部
林，海;Antsaklis，Panos J。 具有网络控制系统应用的多面体不确定线性混合系统的鲁棒调节。 （英语） Zbl 1052.93012号 刘德荣（编辑）等，动力系统的稳定性和控制及其应用。向安东尼·米歇尔致敬。马萨诸塞州波士顿：Birkhäuser（ISBN 0-8176-3233-6/hbk）。控制工程，71-96（2003）。 审核人：Alex V.Kolnogorov（诺夫哥罗德） MSC公司：93B12号机组 93亿B51 93个B03 93元65角 90C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{H.Lin}和\textit{P.J.Antsaklis}，in：动态系统的稳定性和控制及其应用。向安东尼·米歇尔致敬。马萨诸塞州波士顿：Birkhäuser。71-96（2003；Zbl 1052.93012）
安妮卡·阿尔托;Husberg、Nisse;Kimmo Varpaaniemi SDL形式化模型的自动生成和分析。 （英语） Zbl 1038.68612号 Reed，Rick（编辑）等人，SDL 2003：系统设计。第11届国际SDL论坛，德国斯图加特，2003年7月1日至4日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40539-9/pbk）。勒克特。注释计算。科学。2708, 285-299 (2003).MSC公司：68单位99 64岁以下 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Aalto}等人，Lect。注释计算。科学。2708285--299（2003年；Zbl 1038.68612） 全文： 链接