×

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

最新的 引文 关联
卢卡·埃特罗;安东尼斯·阿奇利奥斯;埃利·阿纳斯塔西亚迪;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;卡罗琳娜·莱赫蒂宁;马蒂亚斯·拉加德·佩德森

关于概率监测。 （英文） Zbl 1528.68246号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。勒克特。注释计算。科学。13660, 325-342 (2022).
MSC公司：68问题85 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Lect。注释计算。科学。13660325-342（2022年；兹比尔1528.68246）
全文： 内政部
卢卡·埃特罗;安东尼斯·阿奇利奥斯;埃利·阿纳斯塔西亚迪;阿德里安·弗兰卡兰扎

用电路监测超属性。 （英文） Zbl 1499.68199号

Mousavi，Mohammad Reza（编辑）等人，分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13273, 1-10 (2022).
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Lect。注释计算。科学。13273，1-10（2022；Zbl 1499.68199）
全文： 内政部 arXiv公司
卢卡·埃特罗;Cassar，伊恩;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir

在双向运行时强制上。 （英文） Zbl 1489.68135号

Peters，Kirstin（编辑）等人，分布式对象、组件和系统的形式化技术。第41届IFIP WG 6.1国际会议，FORTE 2021，作为第16届分布式计算技术国际联合会议的一部分，于2021年6月14日至18日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12719, 3-21 (2021).
MSC公司：60年第68季度 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Lect。注释计算。科学。12719，3-21（2021年；兹比尔1489.68135）
全文： 内政部 哈尔
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;克雅坦松，Svarrn

使用递归确定HML的监控器。 （英文） Zbl 1494.68155号

J.日志。阿尔盖布。方法计划。 111，文章ID 100515，38 p.（2020）.
MSC公司：60年第68季度 03B70号 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛L.Aceto｝等人，J.Log。阿尔盖布。方法计划。111，文章ID 100515，38 p.（2020；Zbl 1494.68155）
全文： 内政部 arXiv公司
卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir

通过抑制执行运行时强制。 （英文） Zbl 1520.68069号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第34条，第17页（2018年）。
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，LIPIcs——莱布尼茨国际程序。通知。118，第34条，第17页（2018；Zbl 1520.68069）
全文： 内政部 arXiv公司
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir

监视无声操作。 （英文） 兹比尔1491.68104

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第7条，第14页（2018年）。
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，LIPIcs——莱布尼茨国际程序。通知。93，第7条，第14页（2018；Zbl 1491.68104）
全文： 内政部
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;SævarÖrn的Kjartansson

关于确定监控器的复杂性。 （英文） Zbl 1489.68149号

Carayol，Arnaud（编辑）等人，《自动机的实现和应用》。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10329, 1-13 (2017).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Lect。注释计算。科学。10329，1-13（2017；Zbl 1489.68149）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件