×

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

最新的 引文 关联
马可·贝尔纳多；萨宾娜·罗西

反向双相似与正向双相似。 （英语） Zbl 07770341号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13992, 265-284 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Bernardo}和\textit{S.Rossi}，莱克特。票据计算。科学。13992、265--284（2023；Zbl 07770341）
全文： 内政部
马可·贝尔纳多；克劳迪奥·安塔雷斯·梅齐纳

走向桥接时间和因果可逆性。 （英语） Zbl 1511.68179号

Gotsman，Alexey（编辑）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12136, 22-38 (2020).
MSC公司：68问题85 60J28型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bernardo}和\textit{C.A.Mezzina}，莱克特。票据计算。科学。12136，22-38（2020；Zbl 1511.68179）
全文： 内政部
马可·贝尔纳多

基于T集总率一致关系的状态空间约简。 （英语） Zbl 1180.68186号

Thomas，Nigel（编辑）等人，《计算机性能工程》，第五届欧洲性能工程研讨会，EPEW 2008，西班牙马洛卡棕榈岛，2008年9月24日至25日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87411-9/pbk）。计算机科学课堂讲稿526164-78（2008）。
MSC公司：68问题85 68米15 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{M.Bernardo}，莱克特。票据计算。科学。5261、64--78（2008年；Zbl 1180.68186）
全文： 内政部
马可·贝尔纳多

马尔科夫检验和迹等价性比马尔科夫双相似性更为复杂。 （英语） Zbl 1316.68086号

Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162，87-99（2006）。
MSC公司：68问题85 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bernardo}，电子。注释Theor。计算。科学。162、87-99（2006；Zbl 1316.68086）
全文： 内政部

筛选结果依据…

文档类型

作者

串行

全部的 前5名

出版年份

主字段

软件