×

找到2个文档(结果1-2)

应用舞蹈设计。 (英语) Zbl 1508.68242号

Baier,Christel(编辑)等人,分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议,FORTE 2018,作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10854, 21-40 (2018).
MSC公司:第68季度85 68甲19
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段