刘晓燕;冯，冯 Kleene代数和一些相关的半模。 （中文。英文摘要） 兹比尔1493.68233 数学。实际。理论 40，第11期，198-205（2010）.MSC公司：70年第68季度 2016年60月 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Y.Liu}和\textit{F.Feng}，数学。实际。理论40，第11期，198--205（2010；Zbl 1493.68233）
雷诺·瑟迪;帕斯卡·奥布里 通用数据流过程网络验证和标注的线性规划方法。 （英语） Zbl 1455.68129号 Simon Bliudze（编辑）等人，《保证互动》。2010年6月10日，荷兰阿姆斯特丹ICE’10第三届交互与并发体验研讨会会议记录。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38，115-119（2010）。MSC公司：68问题85 第68季度第60季度 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{R.Sirdey}和\textit{P.Aubry}，电子。程序。西奥。计算。科学。（EPTCS）38，115--119（2010；Zbl 1455.68129） 全文： arXiv公司 链接
克里斯蒂安·兰贝茨;米拉·卡德巴姆少校 组件系统死锁自由的端口协议。 （英语） Zbl 1455.68105号 Simon Bliudze（编辑）等人，《保证互动》。2010年6月10日，荷兰阿姆斯特丹ICE’10第三届交互与并发体验研讨会会议记录。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38，7-11（2010）。MSC公司：第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Lambertz}和\textit{M.Majster-Cederbaum}，电子。程序。西奥。计算。科学。（EPTCS）38，7--11（2010；Zbl 1455.68105） 全文： arXiv公司 链接
中田庆子;塔尔莫乌斯塔卢 带交互式I/O的While的恢复、弱双相似度和大步语义：混合归纳法练习。 （英语） Zbl 1455.68100号 Aceto，Luca（编辑）等人，《结构操作语义学第七次研讨会》，法国巴黎，2010年8月30日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32，57-75（2010）。MSC公司：68问题55 03B38型 68号30 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakata}和\textit{T.Uustalu}，电子。程序。西奥。计算。科学。（EPTCS）32，57--75（2010；Zbl 1455.68100） 全文： arXiv公司 链接
乌卡丘库·恩杜克武;安娜贝拉·麦克维尔 概率程序的谓词抽象和数据独立性的期望变换方法。 （英语） 兹比尔1456.68027 Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28、129-143（2010年）。MSC公司：68号30 第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Ndukwu}和\textit{A.McIver}，电子。程序。西奥。计算。科学。（EPTCS）28、129--143（2010；Zbl 1456.68027） 全文： 链接
马蒂亚斯·古德曼;弗兰克·奥特米耶 基于概率模型的安全分析。 （英语） Zbl 1456.68017号 Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28，114-128（2010）。MSC公司：68米15 68号30 第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Güdemann}和\textit{F.Ortmier}，电子。程序。西奥。计算。科学。（EPTCS）28，114--128（2010；Zbl 1456.68017） 全文： 链接
大卫·卡切拉;阿诺·乔宾 将抽象解释注入线性成本模型。 （英语） Zbl 1456.68026号 Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28，64-81（2010年）。MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Cachera}和\textit{A.Jobin}，电子。程序。西奥。计算。科学。（EPTCS）28，64--81（2010；Zbl 1456.68026） 全文： 链接
达米安·巴索蒂;尼科拉斯·沃尔维克 通过随机变量抽象实现自动概率程序验证。 （英语） Zbl 1456.68025号 Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28，34-47（2010）。MSC公司：68号30 第68季度第60季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Barsotti}和\textit{N.Wolovick}，电子。程序。西奥。计算。科学。（EPTCS）28，34-47（2010；Zbl 1456.68025） 全文： 链接
大卫·安科纳;乔瓦尼·拉戈里奥 用于将面向对象语言抽象编译为Horn公式的共导子类型。 （英语） Zbl 1456.68024号 Montanari，Angelo（编辑）等人，《关于游戏、自动机、逻辑和形式验证的第一次研讨会》，Minori（Amalfi Coast），意大利，2010年6月17日至18日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）25214-230（2010）。MSC公司：68甲15 03B70号 第68页第19页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Ancona}和\textit{G.Lagorio}，电子。程序。西奥。计算。科学。（EPTCS）25、214--230（2010；Zbl 1456.68024） 全文： 链接
克里斯蒂安·阿波德 有效的对称约简和使用状态对称进行符号模型检查。 （英语） Zbl 1456.68094号 Montanari，Angelo（编辑）等人，《关于游戏、自动机、逻辑和形式验证的第一次研讨会》，Minori（Amalfi Coast），意大利，2010年6月17日至18日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）25173-187（2010）。MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Appold}，电子。程序。西奥。计算。科学。（EPTCS）25173-187（2010年；兹bl 1456.68094） 全文： 链接
奥利弗·弗里德曼;马丁·兰格 对等博弈求解的局部策略改进。 （英语） Zbl 1456.68098号 Montanari，Angelo（编辑）等人，《关于游戏、自动机、逻辑和形式验证的第一次研讨会》，Minori（Amalfi Coast），意大利，2010年6月17日至18日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）25118-131（2010）。MSC公司：第68季度第60季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Friedmann}和\textit{M.Lange}，电子。程序。西奥。计算。科学。（EPTCS）25118--131（2010；Zbl 1456.68098） 全文： 链接
柯特林·迪马;康斯坦丁埃纳;格列夫，迪米塔尔 模型检验是一种具有知识、不完全信息、完美回忆和沟通联盟的交替时间-时间逻辑。 （英语） Zbl 1456.68097号 Montanari，Angelo（编辑）等人，《关于游戏、自动机、逻辑和形式验证的第一次研讨会》，Minori（Amalfi Coast），意大利，2010年6月17日至18日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）25103-117（2010）。MSC公司：第68季度第60季度 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dima}等人，《电子》。程序。西奥。计算。科学。（EPTCS）25，103--117（2010；Zbl 1456.68097） 全文： 链接
安德烈亚斯·莫根斯顿;克劳斯·施耐德 利用时序逻辑层次和非通量特性进行高效的LTL综合。 （英语） Zbl 1456.68099号 Montanari，Angelo（编辑）等人，《关于游戏、自动机、逻辑和形式验证的第一次研讨会》，Minori（Amalfi Coast），意大利，2010年6月17日至18日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）2589-102（2010年）。MSC公司：第68季度第60季度 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Morgenstern}和\textit{K.Schneider}，电子。程序。西奥。计算。科学。（EPTCS）25，89--102（2010；Zbl 1456.68099） 全文： 链接
沈玉萍;赵西顺 NP-逻辑系统和模型等效性降低。 （英语） Zbl 1456.68060号 郑锡忠（编辑）等，第七届分析中的可计算性和复杂性国际会议，中国镇江，2010年6月21日至25日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）24130-138（2010年）。MSC公司：65年第68季度 第68季度第60季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shen}和\textit{X.Zhao}，电子。程序。西奥。计算。科学。（EPTCS）24，130--138（2010；Zbl 1456.68060） 全文： 链接
穆勒，诺伯特·瑟。;玛格丽塔·科罗维纳 在轨道上迈出重要一步。 （英语） Zbl 1456.65049号 郑锡忠（编辑）等，第七届分析中的可计算性和复杂性国际会议，中国镇江，2010年6月21日至25日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）24，106-119（2010）。MSC公司：65升05 65G20个 65年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{N.Th.Müller}和\textit{M.Korovina}，电子。程序。西奥。计算。科学。（EPTCS）24，106--119（2010；Zbl 1456.65049） 全文： 链接
埃德斯科·德·弗里斯;阿德里安·弗兰卡兰扎;马修·轩尼诗 消息传递并发中用于资源管理的唯一性类型。 （英语） Zbl 1454.68075号 Florido，Mário（编辑）等人，第一届线性国际研讨会论文集，葡萄牙科英布拉，2009年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）22，26-37（2010）。MSC公司：68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.De Vries}等人，《电子》。程序。西奥。计算。科学。（EPTCS）22，26-37（2010；Zbl 1454.68075） 全文： 链接
米歇尔·雷尼尔斯（Michel A.Reniers）。;Tim A.C.Willemse。 通过结构图分析布尔方程组。 （英语） Zbl 1454.68066号 Klin，Bartek（编辑）等人，《结构操作语义学第六次研讨会》，意大利博洛尼亚，2009年8月31日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）18，92-107（2010）。MSC公司：第68季度第60季度 05年3月 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛M.A.Reniers｝和\textit｛T.A.C.Willemse｝，Electron。程序。西奥。计算。科学。（EPTCS）18，92--107（2010；Zbl 1454.68066） 全文： 链接
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔斯多蒂尔 一种基于互模拟的方法，用于证明GSOS语言中方程的有效性。 （英语） Zbl 1454.68071号 Klin，Bartek（编辑）等人，《结构操作语义学第六次研讨会》，意大利博洛尼亚，2009年8月31日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）第18卷，第1-16页（2010年）。MSC公司：68问题85 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，《电子》。程序。西奥。计算。科学。（EPTCS）18，1--16（2010；Zbl 1454.68071） 全文： 链接
Chebotarev，A.N。 L语言中确定性FSM规范的规则形式。 （俄语。英文摘要） Zbl 1472.68084号 普里克尔。磁盘重新启动。材料。 2010年，第4（10）、64-72（2010）号.MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev}，普里克尔。Diskretn公司。材料2010，编号4（10），64--72（2010；Zbl 1472.68084） 全文： MNR公司
M.S.塔尔科夫。 用递归神经网络将并行程序的图映射到分布式计算机系统的图上。 （俄语。英文摘要） Zbl 1472.68122号 普里克尔。Diskretn公司。材料。 2010年，第4（10）、33-40（2010）号.MSC公司：68兰特 64岁以下 68号30 2006年第68季度 2007年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.S.Tarkov}，Prikl。Diskretn公司。材料2010，编号4（10），33--40（2010；Zbl 1472.68122） 全文： MNR公司
Chebotaröv，A.N。 求解反应系统设计中有限状态机上的不等式。 （俄语。英文摘要） Zbl 1472.68078号 普里克尔。磁盘重新启动。材料。 2010年，第3（9）、100-110（2010）号.MSC公司：65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotaröv}，普里克尔。Diskretn公司。材料2010，编号3（9），100-110（2010；兹bl 1472.68078） 全文： MNR公司
普罗科普·埃夫，S.E。 使用临时逻辑和模型检查器动态控制系统的异常偏差。 （俄语。英文摘要） Zbl 1472.93114号 普里克尔。Diskretn公司。材料。 2010年，第1（7）、37-42（2010）号.MSC公司：93C55美元 03B44号 第68季度第60季度 68T20型 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{S.E.Prokop’ev}，普里克尔。Diskretn公司。材料2010，编号1（7），37-42（2010；Zbl 1472.93114） 全文： MNR公司
亚历山德拉·迪·皮耶罗（编辑）;格钦·诺曼（编辑） 2010年3月27日至28日，塞浦路斯帕福斯，第八届编程语言定量方面研讨会会议记录。 （英语） Zbl 1415.68021号 理论计算机科学电子论文集（EPTCS）28.滑铁卢：开放出版协会（OPA）。181页。，仅电子版，开放存取（2010年）。MSC公司：68-06 68甲15 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Di Pierro}（编辑）和\textit{G.Norman}（编），第八届编程语言定量方面研讨会论文集，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）（2010；Zbl 1415.68021） 全文： 内政部 链接
斯里哈里·苏库马兰;阿肖克·斯列尼瓦斯;梅塔，拉文德拉 依赖条件图：程序点之间依赖的精确条件。 （英语） Zbl 1387.68073号 计算。语言系统。结构。 36，第1期，96-121（2010）.MSC公司：68号30 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Sukumaran}等人，计算。语言系统。结构。36，编号1，96-121（2010年；兹bl 1387.68073） 全文： 内政部
阿姆托夫特，托本;凯莉·安德罗索普洛斯;大卫·克拉克;马克，哈曼;李，郑 弱序依赖的另一种表征。 （英语） Zbl 1379.68091号 信息处理。莱特。 110，编号21，939-943（2010）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Amtoft}等人，Inf.过程。莱特。110，第21号，939--943（2010；Zbl 1379.68091） 全文： 内政部
高井，Shigemasa;拉特内什·库马尔 离散事件系统基于过度近似推理的分散监管器的综合。 （英语） Zbl 1368.93389号 IEEE传输。自动化。控制 55，第8期，1881-1887（2010）.MSC公司：93元65角 93亿B50 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Takai}和\textit{R.Kumar}，IEEE Trans。自动化。控制55，No.8，1881--1887（2010；Zbl 1368.93389） 全文： 内政部
他，费;宋晓宇;威廉·N·洪。;顾，明;孙家光 将进化计算与抽象求精相结合，用于模型检查。 （英语） Zbl 1368.68248号 IEEE传输。计算。 59，第1期，116-126（2010）.MSC公司：第68季度第60季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.He}等人，IEEE Trans。计算。59，第1号，116--126（2010；Zbl 1368.68248） 全文： 内政部
Huang，Chin Yu黄金玉;林楚蒂 考虑测试压缩因子和故障-故障关系的软件可靠性建模分析。 （英语） Zbl 1368.68180号 IEEE传输。计算。 59，第2期，283-288（2010）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.-Y.Huang}和\textit{C.-T.Lin}，IEEE Trans。计算。59，第2号，283--288（2010；Zbl 1368.68180） 全文： 内政部
Ruhi Sarikaya;阿尔珀Buyuktosunoglu 用于预测程序行为的统一预测方法。 （英语） Zbl 1368.68181号 IEEE传输。计算。 59，第2期，272-282（2010）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Sarikaya}和\textit{A.Buyuktosunoglu}，IEEE Trans。计算。59，第2号，272--282（2010；Zbl 1368.68181） 全文： 内政部
郑浩;姚海琼;友大义达 具有高效抽象细化的大型异步设计的模块化模型检查。 （英语） Zbl 1368.68252号 IEEE传输。计算。 59，第4期，561-573（2010）.MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit｛H.Zheng｝等人，IEEE Trans。计算。59，第4号，561--573（2010；Zbl 1368.68252） 全文： 内政部
马克·巴特利特;伊恩·贝特;迪米塔尔·哈萨克夫 精确确定循环迭代以进行最坏情况下的执行时间分析。 （英语） 兹比尔1368.68179 IEEE传输。计算。 59，第11期，1520-1532（2010）.MSC公司：68号30 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartlett}等人，IEEE Trans。计算。59，第11号，1520--1532（2010；Zbl 1368.68179） 全文： 内政部
马克·达马斯;纪尧姆·梅尔金德 涉及四舍五入运算符的表达式边界的证明。 （英语） Zbl 1364.68328号 ACM事务处理。数学。柔和。 37，第1号，第2条，20页（2010年）.MSC公司：68吨15 65G40型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Daumas}和\textit{G.Melquiond}，ACM Trans。数学。柔和。37，第1号，第2条，20页（2010年；Zbl 1364.68328） 全文： 内政部 哈尔
奥德·马勒 Amir Pnueli和混合系统的黎明。 （英语） Zbl 1360.68005号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。293-295 (2010).MSC公司：68-03 01A60型 01A70号 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler}，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。293-295（2010年；Zbl 1360.68005） 全文： 内政部
Koutroumpas、Konstantinos;约翰·莱杰罗斯 使用HIOA对随机混合系统进行建模和验证：DNA复制的案例研究。 （英语） Zbl 1360.92044号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-60558-955-8）。263-272 (2010).MSC公司：92C40型 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Koutroumpas}和\textit{J.Lygeros}，in：第13届ACM混合系统国际会议论文集：计算和控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。263--272（2010年；Zbl 1360.92044） 全文： 内政部
费德里科·兰波尼;黛巴西什·查特吉;肖恩·萨默斯;约翰·莱杰罗斯 关于PCTL与动态编程之间的联系。 （英语） Zbl 1361.68150号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。253-262 (2010).MSC公司：第68季度第60季度 03B44号 60J22型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Ramponi}等人，《第13届ACM混合系统国际会议论文集：计算与控制》，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。253--262（2010年；Zbl 1361.68150） 全文： 内政部 arXiv公司
保罗·祖利亚尼;安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。 贝叶斯统计模型检查及其在Simulink/Stateflow验证中的应用。 （英语） Zbl 1361.68154号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。243-252 (2010).MSC公司：第68季度第60季度 62C10个 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Zuliani}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。243-252（2010年；Zbl 1361.68154） 全文： 内政部
阿泽尔·贝斯塔夫罗斯;阿萨夫省克富尔;笔记本电脑，安德烈;迈克尔·J·奥森。 安全合成网络草图：正式框架。 （英语） Zbl 1361.68134号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。231-241 (2010).MSC公司：第68季度第60季度 68M10个 90B10型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bestavros}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。231--241（2010年；Zbl 1361.68134） 全文： 内政部
桑卡拉纳拉亚南，斯里拉姆 利用理想不动点自动生成混合系统的不变量。 （英语） Zbl 1360.34082号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。221-230 (2010).MSC公司：34立方厘米 第13页第10页 34A38型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Sankaranarayanan}，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。221--230（2010年；Zbl 1360.34082） 全文： 内政部
特朗·恩吉姆;桑卡拉纳拉亚南，斯里拉姆;乔治·费内科斯;弗兰乔·伊万奇;阿尔蒂·古普塔;乔治·帕帕斯。 非线性混合系统时间特性证伪的蒙特卡罗技术。 （英语） Zbl 1361.68149号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-60558-955-8）。211-220 (2010).MSC公司：第68季度第60季度 65二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{T.Nghiem}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。211-220（2010；Zbl 1361.68149） 全文： 内政部
安托万·吉拉德 使用近似双相似抽象、状态反馈控制器进行安全规范的综合。 （英语） Zbl 1361.68147号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。111-120 (2010).MSC公司：第68季度第60季度 68问题85 93B52号 PDF格式BibTeX公司 XML格式引用 \textit{A.Girard}，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。111-120（2010年；Zbl 1361.68147） 全文： 内政部
Tichakorn的Wongpiromsarn;乌富克托普库;理查德·默里（Richard M.Murray）。 时序逻辑规范的递减范围控制。 （英语） Zbl 1360.68605号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。101-110 (2010).MSC公司：第68季度第60季度 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{T.Wongpiromsarn}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，斯德哥尔摩，瑞典，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。101-110（2010年；Zbl 1360.68605） 全文： 内政部
亚历山大·戴维;Larsen，Kim G。;Legay、Axel;乌尔里克·尼曼;安德烈·沃索斯基 时间I/O自动机：实时系统的完整规范理论。 （英语） Zbl 1361.68143号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。91-100（2010年）。MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人，摘自：《第13届ACM混合系统国际会议论文集：计算与控制》，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。91-100（2010年；Zbl 1361.68143） 全文： 内政部
帕特里夏·鲍耶;乌里·法伦贝格;Larsen，Kim G。;尼古拉斯·马基 能量约束下带观测器的时间自动机。 （英语） Zbl 1361.68135号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。61-70 (2010).MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。61-70（2010年；Zbl 1361.68135） 全文： 内政部
科尔斯汀·鲍尔;克劳斯·施耐德 从同步程序到混合系统的符号表示。 （英语） Zbl 1361.68057号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。41-50 (2010).MSC公司：68号30 68甲15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bauer}和\textit{K.Schneider}，in：第13届ACM混合系统国际会议论文集：计算和控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。41-50（2010年；Zbl 1361.68057） 全文： 内政部
弗洛里安·科伯;范德沙夫特，阿尔扬 线性控制系统的组成分析。 （英语） Zbl 1360.93279号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。21-30（2010年）。MSC公司：93二氧化碳 第68季度第60季度 93甲14 PDF格式BibTeX公司 XML格式引用 \textit{F.Kerber}和\textit{A.van der Schaft}，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。21-30（2010年；Zbl 1360.93279） 全文： 内政部 链接
蒂亚加拉扬，P.S。;杨绍发 分布式混合自动机的简洁离散时间近似。 （英语） Zbl 1361.68125号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。1-10 (2010).MSC公司：65年第68季度 第68季度第60季度 68问题85 93立方 PDF格式BibTeX公司 XML格式引用 \textit{P.S.Thiagarajan}和\textit{S.Yang}，摘自：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。1-10（2010年；Zbl 1361.68125） 全文： 内政部
维萨尔·沃达尼 堆操作C程序的静态数据竞争分析。 （英语） Zbl 1360.68004号 塔尔图大学数学学位论文64.塔尔图：塔尔图大学出版社；塔尔图：塔尔图大学数学与计算机科学学院（Diss.）（ISBN 978-9949-19-508-4/pbk；978-9949-19-509-1/电子书）。137页。(2010).MSC公司：68-02 2007年7月68日 68甲15 第68页第19页 68N20型 68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{V.Vojdani}，堆操作C程序的静态数据竞争分析。塔尔图：塔尔图大学出版社；塔尔图：塔尔图大学数学与计算机科学学院（Diss.）（2010；Zbl 1360.68004） 全文： 链接 链接
Virbitskaite，I.B.公司。;汉斯·弗利什哈克;安娜·德多娃 带参数的优先时间Petri网的基于实时算法的验证。 （英语） Zbl 1374.68345号 Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 31, 179-193 (2010).MSC公司：68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Virbitskaite}等人，Jt。牛市。NCC IIS，序列号。计算。科学。31179--193（2010年；Zbl 1374.68345） 全文： 链接
希洛夫，N.V。;E.V.博丹。;Shilova，S.O。 F@BOOL@内部导览：一个基于SAT的验证编译器的案例研究。 （英语） Zbl 1374.68109号 Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 31, 139-154 (2010).MSC公司：68N20型 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Shilov}等人，Jt。牛市。NCC IIS，序列号。计算。科学。31139--154（2010年；Zbl 1374.68109） 全文： 链接
A.V.普罗姆斯基。 C内核的错误跟踪公理语义。 （英语） Zbl 1374.68115号 Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 31, 123-138 (2010).MSC公司：68号30 03B70号 第68页第19页 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Promsky}，Jt。牛市。NCC IIS，序列号。计算。科学。31123--138（2010年；Zbl 1374.68115） 全文： 链接
乌里·法伦贝格;Larsen，Kim G。;克劳斯·苏兰 时间逻辑中加权克里普克结构的定量表征。 （英语） Zbl 1413.68073号 计算。通知。 29，No.6+，1311-1324（2010）.MSC公司：68问题85 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，计算。通知。29，编号6+，1311--1324（2010；Zbl 1413.68073）
伙计，卡洛克 定时Chi：硬件系统的建模、仿真和验证。 （英语） 兹比尔1399.93171 计算。通知。 29，第6号，901-928（2010）.MSC公司：93C83号 93A30型 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.L.Man}，计算。通知。29，第6号，901--928（2010；Zbl 1399.93171）
加布里埃拉·齐布拉;索菲亚格里戈雷塔·科乔卡尔 一种基于层次聚类的方面挖掘方法。 （英语） Zbl 1399.62098号 计算。通知。 29，第6期，881-900（2010）.MSC公司：62H30型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Czibula}和\textit{G.S.Cojocar}，计算。通知。29，第6号，881--900（2010；Zbl 1399.62098）
Bozhenkova，E.N。 表征定时事件结构的合成方法。 （英语） Zbl 1374.68321号 Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 31, 45-64 (2010).MSC公司：68问题85 03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{E.N.Bozhenkova}，Jt。牛市。NCC IIS，序列号。计算。科学。31、45-64（2010年；Zbl 1374.68321） 全文： 链接
安努列夫，I.S。 原子语言简介。 （英语） Zbl 1374.68267号 Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 31, 1-16 (2010).MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev}，Jt。牛市。NCC IIS，序列号。计算。科学。31、1-16（2010年；Zbl 1374.68267） 全文： 链接
贝内维特斯，马里奥·R·F·。;谢赫特，L.Menasché 基于（pi）演算的并发程序的命题动态逻辑。 （英语） Zbl 1345.68228号 Bolander，Thomas（编辑）等人，《第六届模式方法研讨会论文集》（M4M-6 2009），丹麦哥本哈根，2009年11月12-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记262，49-64（2010）。MSC公司：68问题85 03B70号 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.R.F.贝内维提斯}和\textit{L.M.Schechter}，电子。注释Theor。计算。科学。262、49-64（2010年；Zbl 1345.68228） 全文： 内政部
Rick，Statman先生 笛卡尔幺半群。 （英语） Zbl 1343.03047号 Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265437-451（2010）。MSC公司：03G25号 03B40型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Statman}，电子。注释Theor。计算。科学。265437-451（2010年；Zbl 1343.03047） 全文： 内政部
盖·麦库斯克;权力，约翰 局部变量建模：可能的世界和对象空间。 （英语） Zbl 1342.68092号 Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265389-402（2010）。MSC公司：68号30 18A25型 18日第15天 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.McCusker}和\textit{J.Power}，电子。注释Theor。计算。科学。265389--402（2010年；Zbl 1342.68092） 全文： 内政部
Dan R.吉卡。;亚历克斯·史密斯 合成几何。二： 从游戏到延迟敏感电路。 （英语） Zbl 1342.68084号 Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265301-324（2010）。MSC公司：68号30 2007年7月68日 第68页第19页 68N20型 68问题55 91A80型 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛D.R.Ghica｝和\textit｛A.Smith｝，Electron。注释Theor。计算。科学。265301--324（2010；Zbl 1342.68084） 全文： 内政部
安娜·C·卡尔德隆。;盖·麦库斯克 通过连贯空间理解游戏语义。 （英语） 兹比尔1342.68045 Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265231-244（2010）。MSC公司：68甲15 68号30 68问题55 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.C.Calderon}和\textit{G.McCusker}，电子。注释Theor。计算。科学。265231--244（2010年；Zbl 1342.68045） 全文： 内政部
斯蒂芬·布鲁克斯 公平、资源和分离。 （英语） Zbl 1342.68072号 Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265177-195（2010）。MSC公司：68号30 03B70号 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Brookes}，电子。注释Theor。计算。科学。265177-195（2010年；Zbl 1342.68072） 全文： 内政部
费迪南达·坎波西;杰罗姆·费雷特;亨氏Koeppl;塔贾纳·彼得罗夫 合并模型简化。 （英语） Zbl 1342.68077号 Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记26573-96（2010）。MSC公司：68号30 68问题55 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Camporesi}等人，《电子》。注释Theor。计算。科学。26573--96（2010年；Zbl 1342.68077） 全文： 内政部
迪帕克·加尔格;杰森·富兰克林;迪尔森·卡纳尔;阿努帕姆·达塔 具有接口受限对手的组合系统安全。 （英语） Zbl 1342.68083号 Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265，49-71（2010）。MSC公司：68号30 03B70号 第68页第19页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Garg}等人，《电子》。注释Theor。计算。科学。265、49--71（2010年；Zbl 1342.68083） 全文： 内政部
帕斯卡·索丁;贝特朗·珍妮特;对手，泽维尔 形状分析的具体记忆模型。 （英语） Zbl 1342.68103号 Miné，Antoine（ed.）等人，第二届数字和符号抽象域国际研讨会论文集：NSAD 2010，法国佩皮尼昂，2010年9月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》267，第1期，139-150（2010）。MSC公司：68号30 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Sotin}等人，《电子》。注释Theor。计算。科学。267，编号1，139-150（2010年；兹bl 1342.68103） 全文： 内政部
埃克塞尔·西蒙 通过识别常见约束加快多面体分析。 （英语） 兹比尔1342.68102 Miné，Antoine（ed.）等人，第二届数字和符号抽象域国际研讨会论文集：NSAD 2010，法国佩皮尼昂，2010年9月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》267，第1期，127-138（2010）。MSC公司：68号30 52B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.Simon}，电子。注释Theor。计算。科学。267，编号1，127--138（2010；Zbl 1342.68102） 全文： 内政部
埃克塞尔·西蒙 关于多面体分析中反转连接的注记。 （英语） Zbl 1342.68101号 Miné，Antoine（ed.）等人，第二届数字和符号抽象域国际研讨会论文集：NSAD 2010，法国佩皮尼昂，2010年9月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》267，第1期，115-126（2010）。MSC公司：68号30 52B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.Simon}，电子。注释Theor。计算。科学。267，编号1，115-126（2010；Zbl 1342.68101） 全文： 内政部
彼得·施拉梅尔;贝特朗·珍妮特 将抽象加速方法扩展到具有数字输入的数据流程序。 （英语） Zbl 1342.68100号 Miné，Antoine（ed.）等人，第二届数字和符号抽象域国际研讨会论文集：NSAD 2010，法国佩皮尼昂，2010年9月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》267，第1期，101-114（2010）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Schrammel}和\textit{B.Jeannet}，电子。注释Theor。计算。科学。267，编号1，101--114（2010；Zbl 1342.68100） 全文： 内政部
雅各布·M·豪。;安迪·金;查尔斯·劳伦斯·琼斯 四叉树作为抽象域。 （英语） Zbl 1342.68087号 Miné，Antoine（ed.）等人，第二届数字和符号抽象域国际研讨会论文集：NSAD 2010，法国佩皮尼昂，2010年9月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》267，第1期，89-100（2010）。MSC公司：68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Howe}等人，《电子》。注释Theor。计算。科学。267，编号1，89--100（2010；Zbl 1342.68087） 全文： 内政部
埃里克·古堡;勒鲁（Le Roux，Stéphane）;杰里米·勒孔特;利贝蒂，利奥;法布里西奥·马里内利 通过抽象解释进行静态分析：一种数学规划方法。 （英语） Zbl 1342.68086号 Miné，Antoine（ed.）等人，第二届数字和符号抽象域国际研讨会论文集：NSAD 2010，法国佩皮尼昂，2010年9月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》267，第1期，73-87（2010）。MSC公司：68号30 68问题55 90C57型 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}等人，《电子》。注释Theor。计算。科学。267，编号1，73--87（2010；Zbl 1342.68086） 全文： 内政部
Jędrzej Fulara;康拉德·杜诺加;Jakubczyk、Krzysztof;阿列克西·舒伯特 加权六边形的关系抽象域。 （英语） Zbl 1342.68082号 Miné，Antoine（ed.）等人，第二届数字和符号抽象域国际研讨会论文集：NSAD 2010，法国佩皮尼昂，2010年9月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》267，第1期，59-72（2010）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Fulara}等人，《电子》。注释Theor。计算。科学。267，编号1，59--72（2010；Zbl 1342.68082） 全文： 内政部
长者，马特;丹尼斯·戈潘;代表，托马斯 视图增强抽象。 （英语） Zbl 1342.68081号 Miné，Antoine（ed.）等人，第二届数字和符号抽象域国际研讨会论文集：NSAD 2010，法国佩皮尼昂，2010年9月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》267，第1期，43-57（2010）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit｛M.Elder｝等人，电子。注释Theor。计算。科学。267，编号1，43-57（2010；Zbl 1342.68081） 全文： 内政部
奥利维尔·布瓦索;亚萨米娜·塞拉吉;亚历山大·查普托 用数值加速方法进行抽象不动点计算。 （英语） Zbl 1342.68071号 Miné，Antoine（ed.）等人，第二届数字和符号抽象域国际研讨会论文集：NSAD 2010，法国佩皮尼昂，2010年9月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》267，第1期，29-42（2010）。MSC公司：68号30 65B99型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{O.Bouissou}等人，《电子》。注释Theor。计算。科学。267，编号1，29-42（2010；Zbl 1342.68071） 全文： 内政部
埃德·巴雷特;安迪·金 使用SAT提取范围和集合。 （英语） Zbl 1342.68067号 Miné，Antoine（ed.）等人，第二届数字和符号抽象域国际研讨会论文集：NSAD 2010，法国佩皮尼昂，2010年9月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》267，第1期，17-27（2010）。MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.Barrett}和\textit{A.King}，电子。注释Theor。计算。科学。267，编号1，17--27（2010；Zbl 1342.68067） 全文： 内政部
科琳·安科特;法比安·科埃略;弗朗索瓦州伊里冈 仿射循环不变量检测的模块化静态分析方法。 （英语） Zbl 1342.68065号 Miné，Antoine（ed.）等人，第二届数字和符号抽象域国际研讨会论文集：NSAD 2010，法国佩皮尼昂，2010年9月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》267，第1期，3-16页（2010年）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Ancourt}等人，《电子》。注释Theor。计算。科学。267，第1号，第3--16号（2010；Zbl 1342.68065） 全文： 内政部
Furia，Carlo A。;罗西，马蒂奥 连续时间度量时序逻辑的采样理论。 （英语） Zbl 1351.68160号 ACM事务处理。计算。日志。 12，第1号，第8条，40页（2010年）.MSC公司：第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Furia}和\textit{M.Rossi}，ACM Trans。计算。日志。12，第1号，第8条，第40页（2010年；兹bl 1351.68160） 全文： 内政部 arXiv公司
Legay、Axel;皮埃尔·沃尔珀 关于（Ω-）定期模型检查。 （英语） Zbl 1351.68165号 ACM事务处理。计算。日志。 12，第1号，第2条，46页（2010年）.MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Legay}和\textit{P.Wolper}，ACM Trans。计算。日志。12，第1号，第2条，46页（2010年；Zbl 1351.68165） 全文： 内政部 arXiv公司
罗希特·查达;马赫什·维斯瓦纳坦 马尔可夫决策过程的反例引导抽象再定义框架。 （英语） 兹比尔1351.68154 ACM事务处理。计算。日志。 12，第1号，第1条，49页（2010年）.MSC公司：第68季度第60季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Chadha}和\textit{M.Viswanathan}，ACM Trans。计算。日志。12，第1号，第1条，49页（2010年；Zbl 1351.68154） 全文： 内政部 arXiv公司
哈娜·乔克勒;约瑟夫·霍尔珀（Joseph Y.Halpern）。;奥尔纳库普弗曼 “什么导致系统满足规范？”的勘误表。 （英语） Zbl 1370.68197号 ACM事务处理。计算。日志。 11，第4号，第29条，第2页（2010年）.MSC公司：第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛H.Chockler｝等人，ACM Trans。计算。日志。11，第4号，第29条，第2页（2010年；Zbl 1370.68197） 全文： 内政部
克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。 定量语言。 （英语） Zbl 1351.68155号 ACM事务处理。计算。日志。 11，第4号，第23条，第38页（2010年）.MSC公司：第68季度第60季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，《美国医学杂志》。计算。日志。11，第4号，第23条，第38页（2010年；Zbl 1351.68155） 全文： 内政部
马可·萨梅尔;赫尔穆特·维思 关于LTL规范的分布性。 （英语） Zbl 1352.68162号 ACM事务处理。计算。日志。 11，第3号，第20条，第26页（2010年）.MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Samer}和\textit{H.Veith}，ACM Trans。计算。日志。11，第3号，第20条，第26页（2010年；Zbl 1352.68162） 全文： 内政部
Kedar S.Namjoshi。;理查德·特雷弗（Richard J.Trefler）。 关于组合推理方法的完备性。 （英语） Zbl 1351.68184号 ACM事务处理。计算。日志。 11，第3号，第16条，22页（2010年）.MSC公司：68问题85 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Namjoshi}和\textit{R.J.Trefler}，ACM Trans。计算。日志。11，第3号，第16条，22页（2010年；Zbl 1351.68184） 全文： 内政部
斯塔夫罗斯·科斯马达基斯;福斯托科斯、尤金妮;阿纳斯塔西奥斯·西迪罗普洛斯 关于Datalog程序及其持久性数的不确定和难以处理的结果。 （英语） Zbl 1351.68070号 ACM事务处理。计算。日志。 11，第2号，第12条，第29页（2010年）.MSC公司：68号30 68N17号 第68页，共15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Cosmadakis}等人，ACM Trans。计算。日志。11，第2号，第12条，29页（2010年；Zbl 1351.68070） 全文： 内政部
休伯特·科蒙·隆德;维罗尼克·科尔蒂尔;尤根·兹利内斯库 决定加密协议的安全属性。应用于关键周期。 （英语） 兹比尔1351.94035 ACM事务处理。计算。日志。 11，第2号，第9条，第42页（2010年）.MSC公司：94A60型 68个M12 2017年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Comon-Lundh}等人，ACM Trans。计算。日志。11，第2号，第9条，第42页（2010年；Zbl 1351.94035） 全文： 内政部 arXiv公司
直纪小林;直市田口;不，Hiroshi 用于程序验证的高阶多参数树变换器和递归方案。 （英语） Zbl 1312.68136号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。495-508 (2010).MSC公司：第68季度第60季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Kobayashi}等人，in：第37届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'10，西班牙马德里，2010年1月17-23日。纽约州纽约市：计算机协会（ACM）。495-508（2010年；Zbl 1312.68136） 全文： 内政部
马蒂亚斯·海兹曼;Jochen Hoenicke公司;安德烈亚斯·波德尔斯基 嵌套插值。 （英语） Zbl 1312.68059号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。471-482（2010年）。MSC公司：68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Heizmann}等人，in：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。471--482（2010年；Zbl 1312.68059） 全文： 内政部
Jean-Phillipe马丁;迈克尔·希克斯;曼纽尔·科斯塔;阿克里蒂迪斯、佩里克利斯;米盖尔·卡斯特罗 动态检查并发C/C++程序中的所有权策略。 （英语） Zbl 1312.68064号 第37届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。457-470 (2010).MSC公司：68号30 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Martin}等人，摘自：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'10，西班牙马德里，2010年1月17-23日。纽约州纽约市：计算机协会（ACM）。457-470（2010年；兹比尔1312.68064） 全文： 内政部
卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。 通过键入对安全协议代码进行模块化验证。 （英语） Zbl 1312.68052号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。445-456 (2010).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人，in：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。445--456（2010；Zbl 1312.68052） 全文： 内政部
尼古拉斯·布罗伯格;大卫·桑兹 Paralocks、基于角色的信息流控制等等。 （英语） Zbl 1312.68054号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。431-444 (2010).MSC公司：68号30 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{N.Broberg}和\textit{D.Sands}，in：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。431--444（2010；Zbl 1312.68054） 全文： 内政部
罗斯·泰特;迈克尔·斯特普;索林·勒纳 根据证明生成编译器优化。 （英语） Zbl 1312.68047号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。389-402 (2010).MSC公司：68N20型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Tate}等人，摘自：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。389--402（2010；Zbl 1312.68047） 全文： 内政部 链接
杰里米·西克。;菲利普·瓦德勒 三人组，有无过错。 （英语） Zbl 1312.68138号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。365-376 (2010).MSC公司：第68季度第60季度 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Siek}和\textit{P.Wadler}，摘自：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。365-376（2010年；Zbl 1312.68138） 全文： 内政部 链接
迈克尔·格林伯格;本杰明·皮尔斯。;斯蒂芬妮·威里奇 合同已明确。 （英语） Zbl 1312.68133号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。353-364 (2010).MSC公司：第68季度第60季度 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Greenberg}等人，《第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。353--364（2010；Zbl 1312.68133） 全文： 内政部
拉斯蒂斯拉夫·博迪克;萨蒂什·钱德拉;乔尔·加伦森;道格·基梅尔曼;尼古拉斯·东;绍恩·巴曼;凯西，罗德阿莫尔 天使般的不确定性编程。 （英语） Zbl 1312.68053号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。339-352 (2010).MSC公司：68号30 第68页第19页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bodik}等人，摘自：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。339--352（2010；Zbl 1312.68053） 全文： 内政部
马丁·维切夫;叶哈夫，埃兰;格雷塔·约什 同步的抽象引导合成。 （英语） Zbl 1312.68043号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。327-338 (2010).MSC公司：第68页第19页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Vechev}等人，in：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。327--338（2010；Zbl 1312.68043） 全文： 内政部
索拉巴·斯利瓦斯塔瓦;苏米特·古尔瓦尼;杰弗里·福斯特。 从程序验证到程序合成。 （英语） 兹比尔1312.68068 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。313-326 (2010).MSC公司：68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Srivastava}等人，in：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。313--326（2010；Zbl 1312.68068） 全文： 内政部
德莱斯利·哈钦斯。 纯子类型系统。 （英语） Zbl 1312.68061号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。287-298（2010年）。MSC公司：68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Hutchins}，in：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。287--298（2010；Zbl 1312.68061） 全文： 内政部
贾利民;赵建洲;维勒姆·舍贝里;斯蒂芬妮·威里奇 依赖类型和程序等价性。 （英语） Zbl 1312.68062号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。275-286 (2010).MSC公司：68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.Jia}等人，摘自：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。275--286（2010年；Zbl 1312.68062） 全文： 内政部 链接
阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯;乔什·伯丁 构造堆操作程序的验证。 （英语） Zbl 1312.68065号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。261-274 (2010).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Nanevski}等人，in：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。261--274（2010；Zbl 1312.68065） 全文： 内政部
安德烈亚斯·波德尔斯基;托马斯·怀斯 反例引导焦点。 （英语） Zbl 1312.68067号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。249-260 (2010).MSC公司：68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Podelski}和\textit{T.Wies}，摘自：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'10，西班牙马德里，2010年1月17-23日。纽约州纽约市：计算机协会（ACM）。249--260（2010；Zbl 1312.68067） 全文： 内政部
格雷戈里·马莱查;格雷格·莫里塞特;阿夫拉罕·辛纳;瑞安·威斯内斯基 走向一个经过验证的关系数据库管理系统。 （英语） 兹比尔1312.68083 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。237-248 (2010).MSC公司：第68页，共15页 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit｛G.Malecha｝等人，载：第37届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。237--248（2010；Zbl 1312.68083） 全文： 内政部 链接
斯蒂芬·马吉尔;蔡明勋;李，彼得;Tsay，Yih-Kuen先生 堆操作程序的自动数字抽象。 （英语） Zbl 1312.68063号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。211-222 (2010).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Magill}等人，摘自：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。211-222（2010；Zbl 1312.68063） 全文： 内政部