Perfect IFG-Formulas
- 作者Allen L. Mann
- 卷第2卷
- 期第2期
- 印刷ISSN1661-8297
- 电子ISSN1661-8300
- 文件大小469.36KB
- 发表时间2008-10
- DOI10.1007/s11787-008-0037-z
- 页码265-275
同作者推荐
Distributed temporal logic for the analysis of security protocol modelsDavid Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò · 2011
[IEEE 2008 15th International Symposium on Temporal Representation and Reasoning (TIME) - Montreal, Quebec, Canada (2008.06.16-2008.06.18)] 2008 15th International Symposium on Temporal Representation and Reasoning - A Labeled Tableaux System for the Distributed Temporal Logic DTLBasin, David; Caleiro, Carlos; Ramos, Jaime; Vigan, Luca · 2008