×

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

动态、分布式文件系统访问控制的形式化分析。 (英语) Zbl 1225.68036号

Najm,Elie(编辑)等人,网络和分布式系统的形式化技术–FORTE 2006。2006年9月26日至29日,第26届IFIP WG 6.1国际会议,法国巴黎。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-46219-4/pbk)。计算机科学课堂讲稿422999-114(2006)。
MSC公司:68米14 68第25页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段

软件