×

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

最新的 引文 关联
安德烈·基维里加；金·古德斯特兰·拉森；乌尔里克·尼曼

定时I/O自动机的随机细化检查。 （英语） Zbl 1502.68184号

Pang，Jun（编辑）等，可靠软件工程。理论、工具和应用。第六届国际研讨会，SETTA 2020，中国广州，2020年11月24日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12153, 70-88 (2020).
MSC公司：60年第68季度 05C81号 65年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Kiviriga｝等人，Lect。注释计算。科学。12153，70-88（2020；Zbl 1502.68184）
全文： 内政部 链接
杰里恩·福克斯；丹尼尔·斯坦；霍尔格·赫尔曼斯

概率可达性的语法偏序压缩。 （英语） Zbl 1522.68316号

Enea，Constantin（编辑）等人，《验证、模型检查和抽象解释》。2019年1月13日至15日在葡萄牙卡斯凯斯举行的第20届国际会议，VMCAI 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11388, 446-467 (2019).
MSC公司：60年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Fox}等人，Lect。注释计算。科学。11388、446--467（2019年；Zbl 1522.68316）
全文： 内政部
雷蒙德·魔鬼队；汉娜·克劳代尔

计算时间自动机网络中旅行或循环持续时间的抽象策略。 （英语） Zbl 1433.68248号

Fränzle，Martin（编辑）等人，《时间系统的形式化建模和分析》。2016年8月24日至26日，加拿大魁北克省魁北克FORMATS 2016第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9884, 140-156 (2016).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Devillers}和\textit{H.Klaudel}，莱克特。注释计算。科学。9884、140-156（2016年；Zbl 1433.68248）
全文： 内政部 哈尔
Jan Friso，格鲁特；蒂姆·库特斯（Tim W.D.M.Kouters）。；阿马尔·奥萨韦兰

规范指南，以避免国家空间爆炸问题。 （英语） Zbl 1353.68178号

Arbab，Farhad（编辑）等人，《软件工程基础》，第四届IPM国际会议，FSEN 2011，伊朗德黑兰，2011年4月20日至22日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-29319-1/pbk）。计算机科学课堂讲稿7141112-127（2012）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}等人，Lect。注释计算。科学。7141、112-127（2012；Zbl 1353.68178）
全文： 内政部 链接
萨米·伊万格利斯塔；迈克尔·韦斯特加德；Kristensen，Lars M。

重温ComBack方法：缓存策略和延迟重复检测扩展。 （英语） Zbl 1266.68048号

Jensen，Kurt（编辑）等人，《Petri网和其他并发模型事务处理III。柏林：施普林格出版社》（ISBN 978-3-642-04854-8/pbk）。计算机科学5800课堂讲稿。《期刊副刊》，189-215（2009）。
MSC公司：64岁以下 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Evangelista}等人，莱克特。注释计算。科学。5800、189--215（2009年；Zbl 1266.68048）
全文： 内政部
维克托·科门科；马克·谢弗

结合分解和展开进行STG合成。 （英语） Zbl 1226.68058号

Kleijn，Jetty（编辑）等人，Petri网和其他并发模型——ICATPN 2007。第28届Petri网和其他并发模型应用和理论国际会议，2007年6月25日至29日，波兰Siedlce，ICATPN 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73093-4/pbk）。计算机科学课堂讲稿4546，223-243（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Khomenko}和\textit{M.Schaefer}，Lect。注释计算。科学。4546、223--243（2007；Zbl 1226.68058）
全文： 内政部 链接
维克托·科门科；亚历克斯·孔德拉提耶夫；马西耶·库特尼；沃尔特·福格勒

合并过程——Petri网行为的新浓缩表示。 （英语） Zbl 1134.68445号

Abadi，Martín（编辑）等人，CONCUR 2005–并发理论。2005年8月23日至26日，第16届国际会议，CONCUR 2005，美国加利福尼亚州旧金山。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28309-9/pbk）。计算机科学课堂讲稿365338-352（2005）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Khomenko}等人，Lect。注释计算。科学。365338-352（2005年；兹bl 1134.68445）
全文： 内政部
安妮卡·阿尔托；尼斯Husberg；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）
全文： 链接
多龙·贝利德

部分降阶：线性和分支时序逻辑和过程代数。 （英语） Zbl 0883.68090号

Peled，Doron A.（编辑）等人，《验证中的偏序方法》。DIMACS研讨会，1996年7月24日至26日，美国新泽西州普林斯顿市普林斯顿大学。普罗维登斯，RI:AMS，美国数学学会。DIMACS，系列。离散数学。西奥。计算。科学。29, 233-257 (1997).
MSC公司：60年第68季度 第68季度10 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Peled}，DIMACS，序列号。离散数学。西奥。计算。科学。29233-257（1997年；兹bl 0883.68090）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件