What is a Logic Translation?
- 作者Till Mossakowski; Răzvan Diaconescu; Andrzej Tarlecki
- 卷第3卷
- 期第1期
- 印刷ISSN1661-8297
- 电子ISSN1661-8300
- 文件大小362.16KB
- 发表时间2009-07
- DOI10.1007/s11787-009-0005-2
- 页码95-124
同作者推荐
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