×

找到21个文档（结果1–21）

最新的 引文 关联
贝拉德，贝特里奇;贝内迪克特·博利格;帕特里夏·鲍耶;马蒂亚斯·福格尔;纳塔利·斯兹纳杰德

存在动态链接的合成。 （英语） Zbl 07455739号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32633-49（2020年）。
MSC公司：60年第68季度 03B44号 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{B.贝拉德}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326、33-49（2020；Zbl 07455739）
全文： arXiv公司 链接
麝香草，安卡

自动合成：分布式视点。 （英语） Zbl 1491.68049号

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第3条，第5页（2018）。
MSC公司：68甲19 64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{A.Muscholl}，LIPIcs——莱布尼茨国际程序。通知。93，第3条，第5页（2018；Zbl 1491.68049）
全文： 内政部
芭芭拉·乔布斯曼;斯特凡·斯塔珀;安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆

发现并修复故障。 （英语） Zbl 1263.68112号

J.计算。系统。科学。 78，第2期，441-460（2012）.
审核人：约翰·乔治·格兰斯特罗姆（苏黎世）
MSC公司：60年第68季度 91A80型 03B70号 68号30 65年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{B.Jobstmann}等人，J.计算。系统。科学。78，No.2，441--460（2012；Zbl 1263.68112）
全文： 内政部
雷娜·迪米特洛娃;伯恩德·芬克贝纳

容错分布式系统的综合。 （英语） Zbl 1262.68116号

刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799，321-336（2009）。
MSC公司：60年第68季度 64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
\textit{R.Dimitrova}和\textit{B.Finkbeiner}，莱克特。注释计算。科学。5799、321--336（2009年；Zbl 1262.68116）
全文： 内政部 链接
托马斯·查泰恩;保罗·加斯丁;纳塔利·斯兹纳杰德

自然规范为异步系统的分布式综合提供了可判定性。 （英语） Zbl 1206.68210号

尼尔森，莫根斯（编辑）等人，《SOFSEM 2009：计算机科学的理论与实践》。2009年1月24日至30日，第35届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-95890-1/pbk）。计算机科学课堂讲稿54041-152（2009）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Chatain}等人，Lect。注释计算。科学。5404141-152（2009年；兹比尔1206.68210）
全文： 内政部
斯文·舍韦

ATL\（^*\）可满足性是2EXPTIME-complete。 （英语） Zbl 1155.68447号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。2008年7月7日至11日，冰岛雷克雅未克，第35届国际学术讨论会，ICALP 2008。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-70582-6/pbk）。计算机科学课堂讲稿5126373-85（2008）。
MSC公司：60年第68季度 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Schewe}，莱克特。注释计算。科学。5126373-385（2008年；Zbl 1155.68447）
全文： 内政部
斯文·舍韦;伯恩德·芬克贝纳

交替时间逻辑的分布式综合。 （英语） Zbl 1141.68516号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762268-283（2007）。
MSC公司：68问题85 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Schewe}和\textit{B.Finkbeiner}，莱克特。注释计算。科学。4762、268--283（2007年；Zbl 1141.68516）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件