Keyword:triggers

Papers
Drought Early Warning System (EWS) for the Dominican Republic Rafael Nuñez EasyChair Preprint no. 2917
Case Database Construction and Temporal-spatial Analysis of Mass Incidents in China Based on GIS Lida Huang, Jianguo Chen, Zewei Zhang, Hongyong Yuan, Qing Deng and Feng Sun EasyChair Preprint no. 17
Reasoning with Triggers Claire Dross, Sylvain Conchon, Johannes Kanig and Andrei Paskevich In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories