A Model Biodiversity Monitoring Protocol for REDD Projects
- 期刊名称Tropical Conservation Science
- 作者Waldon, Jeff; Miller, Bruce W.; Miller, Carolyn M.
- 卷第4卷
- 期第3期
- 印刷ISSN1940-0829
- 电子ISSN1940-0829
- 文件大小432.22KB
- 发表时间2011-09
- DOI10.1177/194008291100400303
- 页码254-260
同作者推荐
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