TY - RPRT TI - Analysis of Evidence Using Formal Event Reconstruction AU - Joshua I. James AU - Pavel Gladyshev AU - Mohd Taufik Abdullah AU - Yuandong Zhu PY - 2013 DO - 10.1007/978-3-642-11534-9_9 UR - https://arxiv.org/abs/1302.2308 ID - 1302.2308 ER -