×

找到44个文档（结果1-44）

最新的 引文 关联
萨姆·斯塔顿；达里奥·斯坦因；杨红seok；纳撒尼尔·L·阿克曼。；卡梅伦·弗利尔。；丹尼尔·罗伊（Daniel M.Roy）。

贝塔-伯努利过程和代数效应。 （英语） Zbl 1499.68068号

Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第141条，第15页（2018年）。
MSC公司：68号30 03B70号 60G09年 68问题65 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Staton}等人，LIPIcs——莱布尼茨国际程序。通知。107，第141条，第15页（2018；Zbl 1499.68068）
全文： 内政部 arXiv公司
安德烈亚·塞隆；阿列克谢·戈茨曼；杨红seok

弱一致性代数定律。 （英语） Zbl 1442.68104号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第26条，第18页（2017年）。
MSC公司：60年第68季度 64岁以下 第68页，共15页 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Cerone}等人，LIPIcs——莱布尼茨国际程序。通知。85，第26条，第18页（2017年；Zbl 1442.68104）
全文： 内政部
Heo，Kihong先生；哦，哈乔；杨红seok

从静态分析生成的标记数据中学习Octagon的可变聚类策略。 （英语） Zbl 1425.68069号

对手，Xavier（编辑），静态分析。2016年9月8日至10日在英国爱丁堡举行的第23届SAS国际研讨会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。9837, 237-256 (2016).
MSC公司：68号30 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{K.Heo}等人，Lect。票据计算。科学。9837，237--256（2016；Zbl 1425.68069）
全文： 内政部 链接
拉杜·格里戈尔；杨红seok

由学习的概率模型指导的抽象细化。 （英语） Zbl 1347.68084号

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。485-498（2016年）。
MSC公司：68号30 05C90年 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Grigore}和\textit{H.Yang}，摘自：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。485--498（2016；Zbl 1347.68084）
全文： 内政部 arXiv公司 链接
阿列克谢·戈茨曼；杨红seok；卡拉·费雷拉；马赫萨·纳贾夫扎德；马克·夏皮罗

因为我足够强大：推理分布式系统中的一致性选择。 （英语） Zbl 1347.68029号

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。371-384 (2016).
MSC公司：64岁以下 68号30 第68页，共15页 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{A.Gotsman}等人，摘自：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。371--384（2016；Zbl 1347.68029）
全文： 内政部 哈尔
阿列克谢·戈茨曼；杨红seok

复合复制数据类型。 （英语） Zbl 1335.68054号

Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032585-609（2015）。
MSC公司：68号30 第68季度55 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{A.Gotsman}和\textit{H.Yang}，Lect。票据计算。科学。9032585--609（2015年；Zbl 1335.68054）
全文： 内政部
塞巴斯蒂安·伯克哈特；阿列克谢·戈茨曼；杨红seok；马雷克·扎维斯基

复制的数据类型、规范、验证和优化。 （英语） Zbl 1284.68384号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。271-284 (2014).
MSC公司：60年第68季度 64岁以下 68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Burckhardt}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。271--284（2014；Zbl 1284.68384）
全文： 内政部
托马斯·丁斯代尔·扬；拉尔斯·比克达尔；菲利普·加德纳；马修·帕金森；杨红seok

并发程序的视图、合成推理。 （英语） Zbl 1301.68099号

2013年1月23日至25日在意大利罗马举行的第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。287-300 (2013).
MSC公司：68号30 68甲19 第68季度55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Dinsdale-Young}等人，in：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’13，意大利罗马，2013年1月23-25日。纽约州纽约市：计算机协会（ACM）。287--300（2013；Zbl 1301.68099）
全文： 内政部
希拉·佩勒；沙龙·肖姆；埃兰·雅哈夫；杨红seok

用于静态规范挖掘的符号自动机。 （英语） Zbl 1344.68127号

Logozzo，Francesco（编辑）等人，《静态分析》。2013年6月20日至22日，第20届国际研讨会，SAS 2013，美国华盛顿州西雅图。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38855-2/pbk）。计算机科学讲义7935，63-83（2013）。
MSC公司：65年第68季度 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Peleg}等人，Lect。票据计算。科学。7935，63-83（2013；Zbl 1344.68127）
全文： 内政部
阿列克谢·戈茨曼；诺姆·里内茨基；杨红seok

正在宽限验证并发内存回收算法。 （英语） Zbl 1381.68053号

Felleisen，Matthias（编辑）等人，《编程语言和系统》。2013年3月16日至24日，作为欧洲软件理论与实践联合会议的一部分，在意大利罗马举行了第22届欧洲编程研讨会（ESOP 2013）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37035-9/pbk）。计算机科学课堂讲稿7792249-269（2013）。
MSC公司：68号30 03B44号 03B70号 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Gotsman}等人，Lect。票据计算。科学。7792，249--269（2013；Zbl 1381.68053）
全文： 内政部
阿列克谢·戈茨曼；杨红seok

所有权转移的线性化。 （英语） Zbl 1364.68136号

Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，256-271（2012）。
MSC公司：68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Gotsman}和\textit{H.Yang}，Lect。票据计算。科学。7454256-271（2012年；兹bl 1364.68136）
全文： 内政部 arXiv公司
阿列克谢·戈茨曼；杨红seok

抢占式操作系统内核的模块化验证。 （英语） Zbl 1323.68195号

2011年9月19-21日在日本东京举行的第16届ACM SIGPLAN功能编程国际会议记录，ICFP’11。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0865-6）。ACM SIGPLAN通知46，第9号，404-417（2011）。
MSC公司：第68页第25页 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Gotsman}和\textit{H.Yang}，in：第16届ACM SIGPLAN函数式编程国际会议论文集，ICFP’11，日本东京，2011年9月19-21日。纽约州纽约市：计算机协会（ACM）。404--417（2011年；Zbl 1323.68195）
全文： 内政部 链接
拉尔斯·比克达尔；罗伊斯，伯恩哈德；施温哈默，Jan；克里斯蒂安·斯特夫林；雅各布·塔姆斯堡；Yang，宏石

递归世界上的阶跃Kripke模型。 （英语） Zbl 1284.68102号

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。119-132 (2011).
MSC公司：68甲15 03B70号 68号30 第68季度55 54E35个
PDF格式BibTeX公司 XML格式引用
\textit{L.Birkedal}等人，in：第38届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机协会（ACM）。119-132（2011年；Zbl 1284.68102）
全文： 内政部 链接
施温哈默，Jan；杨红seok；拉尔斯·比克达尔；弗朗索瓦·波蒂埃；罗伊斯，伯恩哈德

隐藏状态的语义基础。 （英语） Zbl 1284.68376号

Ong，Luke（编辑），软件科学和计算结构基础。2010年3月20日至28日，第13届国际会议FOSSACS 2010，作为欧洲软件理论与实践联合会议ETAPS 2010的一部分，在塞浦路斯帕福斯举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-12031-2/pbk）。《计算机科学讲义》6014，2-17（2010）。
MSC公司：第68季度55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Schwinghammer}等人，Lect。票据计算。科学。6014，2--17（2010年；Zbl 1284.68376）
全文： 内政部
克里斯蒂亚诺·加尔卡尼奥；迪诺·迪斯特法诺；彼得·奥赫恩；杨红seok

通过双向拉伸进行成分形状分析。 （英语） Zbl 1315.68085号

2009年1月18日至24日，美国佐治亚州萨凡纳，POPL'09，第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-379-2）。289-300 (2009).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.Calcagno}等人，in：第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'09，佐治亚州萨凡纳，美国，2009年1月18-24日。纽约州纽约市：计算机协会（ACM）。289--300（2009年；Zbl 1315.68085）
全文： 内政部 链接
施温哈默，Jan；拉尔斯·比克达尔；罗伊斯，伯恩哈德；杨红seok

高阶存储的嵌套Hoare三元组和框架规则。 （英语） Zbl 1257.03056号

Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771440-454（2009）。
MSC公司：03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Schwinghammer}等人，Lect。票据计算。科学。5771440-454（2009年；Zbl 1257.03056）
全文： 内政部 arXiv公司
拉尔斯·比克达尔；罗伊斯，伯恩哈德；施温哈默，Jan；杨红seok

一个简单的高阶存储分离逻辑模型。 （英语） Zbl 1155.68361号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。2008年7月7日至11日，冰岛雷克雅未克，第35届国际学术讨论会，ICALP 2008。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-70582-6/pbk）。计算机科学课堂讲稿5126348-360（2008）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\文本{L.Birkedal}等人，Lect。票据计算。科学。5126、348--360（2008年；Zbl 1155.68361）
全文： 内政部
杨红seok；Lee，Oukseh先生；乔什·伯丁；克里斯蒂亚诺·加尔卡尼奥；拜伦·库克；迪诺·迪斯特法诺；彼得·奥赫恩

系统代码的可缩放形状分析。 （英语） Zbl 1155.68359号

Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123385-398（2008）。
MSC公司：第68页第25页 68号30
PDF格式BibTeX公司 XML格式引用
\textit{H.Yang}等人，Lect。票据计算。科学。5123、385--398（2008年；Zbl 1155.68359）
全文： 内政部
阿齐姆·查德哈里；拜伦·库克；苏米特·古尔瓦尼；穆利·萨吉夫；杨红seok

对摘要进行排名。 （英语） Zbl 1133.68317号

Sophia Drossopoulou（编辑），《编程语言和系统》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第17届欧洲编程研讨会（ESOP 2008）是欧洲软件理论与实践联合会议（ETAPS 2008）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78738-9/pbk）。计算机科学课堂讲稿4960148-162（2008）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Chawdhary}等人，Lect。票据计算。科学。4960、148--162（2008年；Zbl 1133.68317）
全文： 内政部
拉尔斯·比克达尔；杨红seok

关系参数和分离逻辑。 （英语） Zbl 1195.68030号

Seidl，Helmut（编辑），《软件科学和计算结构基础》。2007年3月24日至4月1日在葡萄牙布拉加举行的第十届国际会议FOSSACS 2007，该会议是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71388-3/pbk）。《计算机科学讲义》4423，93-107（2007）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{L.Birkedal}和\textit{H.Yang}，莱克特。票据计算。科学。4423，93--107（2007；Zbl 1195.68030）
全文： 内政部
Richard博纳特；克里斯蒂亚诺·加尔卡尼奥；杨红seok

变量作为分离逻辑中的资源。 （英语） Zbl 1273.03101号

Escardó，M.（ed.）等人，《第21届编程语义数学基础年会论文集》，英国伯明翰伯明翰大学，2005年5月18日至21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记155，247-276（2006）。
MSC公司：03B70号 68号30 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{R.Bornat}等人，《电子》。注释Theor。计算。科学。155247--276（2006年；Zbl 1273.03101）
全文： 链接
克里斯蒂亚诺·加尔卡尼奥；迪诺·迪斯特法诺；O'Hearn，Peter W。；Yang，宏石

超越可达性：在指针算法的存在下进行形状抽象。 （英语） Zbl 1225.68069号

Yi，Kwangkeun（编辑），静态分析。2006年8月29日至31日，第13届国际研讨会，SAS 2006，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37756-6/pbk）。计算机科学讲义4134182-203（2006）。
MSC公司：68号30 03B70号 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{C.Calcagno}等人，Lect。票据计算。科学。4134、182--203（2006年；Zbl 1225.68069）
全文： 内政部
迪诺·迪斯特法诺；O'Hearn，Peter W。；杨红seok

基于分离逻辑的局部形状分析。 （英语） Zbl 1180.68112号

Hermanns，Holger（编辑）等人，《系统构建和分析的工具和算法》。2006年3月25日至4月2日，作为欧洲软件理论和实践联合会议的一部分，在奥地利维也纳举行了第12届国际会议，2006年TACAS。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33056-9/pbk）。计算机科学课堂讲稿3920，287-302（2006）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Distefano}等人，Lect。票据计算。科学。3920，287--302（2006；Zbl 1180.68112）
全文： 内政部
Lee，Oukseh先生；杨红seok；Yi，Kwangkeun先生

使用基于语法的形状分析自动验证指针程序。 （英语） Zbl 1108.68396号

Sagiv，Mooly（编辑），《编程语言和系统》。2005年4月4日至8日在英国爱丁堡举行的第14届欧洲编程研讨会（ESOP 2005），是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25435-8/pbk）。计算机科学课堂讲稿3444124-140（2005）。
MSC公司：68号30 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{O.Lee}等人，Lect。票据计算。科学。3444124--140（2005年；Zbl 1108.68396）
全文： 内政部
O'Hearn，Peter W。；杨红seok；约翰·雷诺兹（John C.Reynolds）。

分离和信息隐藏。 （英语） Zbl 1325.68069号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。268-280 (2004).
MSC公司：68号30 03B70号 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{P.W.O'Hearn}等人，摘自：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。268-280（2004年；兹bl 1325.68069）
全文： 内政部
Seo，苏奈；杨红seok；Yi，Kwangkeun先生

从抽象解释结果自动构造Hoare证明。 （英语） Zbl 1254.68088号

Ohori，Atsushi（编辑），《编程语言与系统》。第一届亚洲研讨会，2003年APLAS，2003年11月27日至29日，中国北京。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20536-5/pbk）。计算机科学课堂讲稿2895230-245（2003）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.Seo}等人，Lect。票据计算。科学。2895、230-245（2003年；Zbl 1254.68088）
全文： 内政部
Lee，Oukseh先生；杨红seok；Yi，Kwangkeun先生

将安全内存重用命令插入ML-like程序。 （英语） Zbl 1067.68546号

Cousot，Radhia（编辑），静态分析。2003年6月11日至13日，第十届国际研讨会，SAS 2003，美国加利福尼亚州圣地亚哥。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40325-6/pbk）。莱克特。票据计算。科学。2694, 171-188 (2003).
MSC公司：68号30 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{O.Lee}等人，Lect。票据计算。科学。2694171--188（2003年；Zbl 1067.68546）
全文： 链接
美国雷迪。；杨红seok

涉及堆数据结构的数据表示的正确性。 （英语） Zbl 1032.68060号

Degano，Pierpaolo（编辑），《编程语言和系统》。2003年4月7日至11日，在波兰华沙举行的第十二届欧洲编程研讨会ESOP 2003，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2618, 223-237 (2003).
MSC公司：68号30 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{美国红}和\textit{H.杨}，莱克特。票据计算。科学。2618、223--237（2003年；Zbl 1032.68060）
全文： 链接
杨红seok；彼得·奥赫恩

局部推理的语义基础。 （英语） Zbl 1077.68705号

Nielsen，Mogens（编辑）等人，《软件科学和计算结构基础》。2002年4月8日至12日在法国格勒诺布尔举行的第五届国际会议FOSSACS 2002，是欧洲软件理论与实践联合会议ETAPS 2002的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43366-X）。莱克特。票据计算。科学。2303, 402-416 (2002).
MSC公司：60年第68季度 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{H.Yang}和\textit{P.O'Hearn}，莱克特。票据计算。科学。2303402-416（2002年；兹比尔1077.68705）
全文： 链接
克里斯蒂亚诺·加尔卡尼奥；杨红seok；O'Hearn，Peter W。

数据结构空间断言语言的可计算性和复杂性。 （英语） 兹比尔1052.68590

Hariharan，Ramesh（编辑）等人，FST TCS 2001：软件技术和理论计算机科学基础。第21届会议，印度班加罗尔，2001年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43002-4）。莱克特。票据计算。科学。2245, 108-119 (2001).
MSC公司：68第05页 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Calcagno}等人，Lect。票据计算。科学。2245，108-119（2001；Zbl 1052.68590）
全文： 链接
彼得·奥赫恩；约翰·雷诺兹；Yang，宏石

关于改变数据结构的程序的局部推理。 （英语） Zbl 0999.68045号

劳伦·弗里堡（编辑），《计算机科学逻辑》。2001年9月10日至13日在法国巴黎举行的第15届CSL国际研讨会，EACSL第十届年会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2142, 1-19 (2001).
MSC公司：68号30 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{P.O'Hearn}等人，莱克特。票据计算。科学。2142，1-19（2001；Zbl 0999.68045）
全文： 链接
Yang，宏石；美国雷迪。

关于精化计算的语义。 （英语） Zbl 0961.68033号

Tiuryn，Jerzy（编辑），《软件科学和计算结构基础》。第三届国际会议，FOSSACS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1784, 359-374 (2000).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{H.Yang}和\textit{美国红人}，Lect。票据计算。科学。1784359-374（2000年；Zbl 0961.68033）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件