×

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

最新 引文 关联
阿迪蒂亚·普拉卡什;Thejaswini，K.S。

在历史确定的单计数器网络上。 （英语） 兹伯利07770339

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 218-239 (2023).
理学硕士：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛A.Prakash｝和\textit｛K.S.Thejaswini｝，Lect。注释计算。科学。13992、218--239（2023；Zbl 07770339）
全文： DOI程序 arXiv公司
OA许可证
西蒙·盖伊。;迪奥戈·波萨;Vasco T.瓦康塞洛斯。

无限会话类型的不同阴影。 （英语） Zbl 07793037号

Patricia Bouyer等人，《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分，于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13242, 347-367 (2022).
理学硕士：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.J.Gay}等人，Lect。注释计算。科学。13242347-367（2022年；兹bl 07793037）
全文： DOI程序 arXiv公司
OA许可证
德米特里·奇斯蒂科夫;沃伊切赫，切尔文斯基;彼得·霍夫曼;Micha Pilipczuk;迈克尔·韦哈尔

单计数器系统中的最短路径。 （英语） Zbl 1407.68249号

日志。方法计算。科学。 15，第1号，第19号论文，28页（2019年）.
理学硕士：65年第68季度 2005年4月68日
PDF格式BibTeX公司 XML格式引用
\textit{D.Chistikov}等人，《日志》。方法计算。科学。15，第1号，第19号论文，28页（2019年；Zbl 1407.68249）
全文： arXiv公司
彼得·霍夫曼;帕特里克·托茨克

重新访问了单计数器网络的跟踪包含。 （英语） Zbl 1393.68117号

Ouaknine，Joöl（编辑）等人，《可达性问题》。2014年9月22日至24日，英国牛津，RP 2014，第八届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-11438-5/pbk）。计算机科学课堂讲稿8762151-162（2014）。
理学硕士：68问题85 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.Hofman｝和\textit｛P.Totzke｝，Lect。注释计算。科学。8762，151--162（2014；Zbl 1393.68117）
全文： DOI程序 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

软件