搜索历史记录选项已关闭,请开启搜索历史记录选项。
作者: Ronald Fagin , Joseph Y. Halpern , Yoram Moses , Moshe Y. Vardi
DOI: 10.1023/A:1008278827378
关键词:
摘要:
,2015, 引用: 0
2016 IEEE 29th Computer Security Foundations Symposium (CSF),2016, 引用: 36