Keyword:triggers

Publications
Drought Early Warning System (EWS) for the Dominican Republic Rafael Nuñez EasyChair Preprint 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 17
Reasoning with Triggers Claire Dross, Sylvain Conchon, Johannes Kanig and Andrei Paskevich In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories