×

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

最新的 引文 关联
莫里斯·比克。;吉尔勒米纳·克莱杜;罗尔夫·亨尼克;何塞·普伦萨

我们能交流吗？使用动态逻辑验证团队自动机。 （英语） Zbl 1529.68165号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 122-141 (2023).
MSC公司：60年第68季度 03B70号 2010年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.H.ter Beek}等人，Lect。注释计算。科学。14000、122--141（2023年；Zbl 1529.68165）
全文： 内政部
莫里斯·比克。;吉列尔米娜·克莱杜;罗尔夫·亨尼克;何塞·普伦萨

特色团队自动机。 （英语） Zbl 1521.68082号

Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047, 483-502 (2021).
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.H.ter Beek}等人，Lect。注释计算。科学。13047483--502（2021；Zbl 1521.68082）
全文： 内政部 arXiv公司 链接
维塔利施耐德;沃尔特·福格勒

模态开放Petri网。 （英语） Zbl 1532.68057号

Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522, 25-46 (2019).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Schneider}和\textit{W.Vogler}，莱克特。注释计算。科学。11522，25-46（2019；Zbl 1532.68057）
全文： 内政部
芬德里奇、萨沙;杰拉尔德·吕特根

接口自动机、组件兼容性和错误的一般理论。 （英语） Zbl 1354.68173号

布拉哈姆，埃里卡（编辑）等，《综合形式方法》。2016年6月1日至5日在冰岛雷克雅未克举行的2016年第12届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-33692-3/pbk；978-3-3169-33693-0/电子书）。计算机科学讲座笔记9681160-175（2016）。
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Fendrich}和\textit{G.Lüttgen}，Lect。注释计算。科学。9681、160-175（2016年；Zbl 1354.68173）
全文： 内政部 链接
罗尔夫·亨尼克;亚历山大·纳普;马丁·威尔辛

通信安全组件系统的组装理论。 （英语） 兹比尔1310.68057

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54847-5/pbk）。计算机科学课堂讲稿8415，145-160（2014）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Hennicker}等人，Lect。注释计算。科学。8415，145-160（2014；Zbl 1310.68057）
全文： 内政部
贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel

为抽象概率自动机而结结巴巴。 （英语） Zbl 1437.68094号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7734, 149-163 (2013).
MSC公司：65年第68季度 03B45号 05年3月 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Delahaye}等人，Lect。注释计算。科学。77344149-163（2013年；兹bl 1437.68094）
全文： 内政部
简·Křetínsk;所罗门·西克特

MoTraS：用于模态转换系统及其扩展的工具。 （英语） 兹比尔1410.68232

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2013年10月15日至18日，第11届国际研讨会，2013年ATVA，越南河内。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8172, 487-491 (2013).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Křetínsk \}和\textit{S.Sickert}，莱克特。注释计算。科学。8172487--491（2013；Zbl 1410.68232）
全文： 内政部
Křetínský，简;所罗门·西克特

布尔和参数模态转换系统的精化。 （英语） Zbl 1405.68185号

Liu，Zhiming（编辑）等人，《计算的理论方面——ICTAC 2013》。第十届国际学术讨论会，中国上海，2013年9月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39717-2/pbk）。计算机科学课堂讲稿8049213-230（2013）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Křetínsk \}和\textit{S.Sickert}，莱克特。注释计算。科学。8049、213--230（2013年；Zbl 1405.68185）
全文： 内政部 arXiv公司
尼古拉·贝内什;贝诺·德拉哈耶;乌里·法伦贝格;简·Křetínsk;Legay、Axel

具有最大不动点的轩尼诗-米尔纳逻辑是一种完整的行为规范理论。 （英语） Zbl 1271.68131号

D'Argenio，Pedro R.（编辑）等，CONCUR 2013–并发理论。第24届国际会议，CONCUR 2013，阿根廷布宜诺斯艾利斯，2013年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40183-1/pbk）。计算机科学课堂讲稿8052，76-90（2013）。
MSC公司：60年第68季度 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.Beneš}等人，Lect。注释计算。科学。8052，76-90（2013；Zbl 1271.68131）
全文： 内政部 arXiv公司
塞巴斯蒂安·鲍尔

基于组件设计的模态规范理论。 （英语） Zbl 1299.68001号

慕尼黑：慕尼黑大学，Fakultät für Mathematik，信息与统计（Diss.）。十六、248页。(2012).
MSC公司：68-02 68号30 68甲19 60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Bauer}，基于组件设计的模态规范理论。慕尼黑：慕尼黑大学，Fakultät für Mathematik，Informatik und Statistik（Diss.）（2012；Zbl 1299.68001）
全文： 链接
塞巴斯蒂安·鲍尔。;罗尔夫·亨尼克;马丁·威尔辛

为并发和数据构建模式接口理论。 （英语） Zbl 1312.68149号

Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。《计算机科学讲义》7137，1-12（2012）。
MSC公司：68问题85 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Bauer}等人，Lect。注释计算。科学。7137，1-12（2012；Zbl 1312.68149）
全文： 内政部
多尔萨夫·埃尔霍格·本西纳;谢尔盖·哈达德;罗尔夫·亨尼克

模式Petri网的精化和异步组合。 （英语） Zbl 1350.68201号

Jensen，Kurt（编辑）等人，《Petri网和其他并发模型事务》V.Berlin:Springer（ISBN 978-3-642-29071-8/pbk）。计算机科学6900课堂讲稿。《期刊副刊》，96-120（2012）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Elhog-Benzina}等人，Lect。注释计算。科学。6900,96-120（2012；Zbl 1350.68201）
全文： 内政部
罗尔夫·亨尼克;亚历山大·纳普

通信安全组件的模态接口理论。 （英语） 兹比尔1350.68182

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会，南非约翰内斯堡，2011年8月31日至9月2日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23282-4/pbk）。计算机科学课堂讲稿6916，135-153（2011）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Hennicker}和\textit{A.Knapp}，莱克特。注释计算。科学。69163135-153（2011年；兹比尔1350.68182）
全文： 内政部 链接
塞巴斯蒂安·鲍尔。;罗尔夫·亨尼克;米歇尔·比多特

具有数据约束的模态界面理论。 （英语） Zbl 1325.68055号

Davies，Jim（编辑）等人，《形式方法：基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会，SBMF 2010。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19828-1/pbk）。计算机科学课堂讲稿6527，80-95（2011）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Bauer}等人，Lect。注释计算。科学。6527，80-95（2011；Zbl 1325.68055）
全文： 内政部
塞巴斯蒂安·鲍尔。;菲利普·迈耶;安德烈亚斯·施罗德;罗尔夫·亨尼克

关于弱模态兼容性、精化和MIO工作台。 （英语） Zbl 1284.68339号

Esparza，Javier（编辑）等人，《系统构建和分析的工具和算法》。2010年3月20日至28日在塞浦路斯帕福斯举行的第16届国际会议（TACAS 2010）是欧洲软件理论与实践联合会议（ETAPS 2010）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-12001-5/pbk）。计算机科学课堂讲稿6015175-189（2010）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Bauer}等人，Lect。注释计算。科学。6015175-189（2010年；Zbl 1284.68339）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件