Joshua James, Pavel Gladyshev, Mohd Taufik Abdullah, Yuandong Zhu. Analysis of Evidence Using Formal Event Reconstruction. In Sanjay Goel, editor, Digital Forensics and Cyber Crime - First International ICST Conference, ICDF2C 2009, Albany, NY, USA, September 30-October 2, 2009, Revised Selected Papers. Volume 31 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 85-98, Springer, 2009. [doi]
@inproceedings{JamesGAZ09, title = {Analysis of Evidence Using Formal Event Reconstruction}, author = {Joshua James and Pavel Gladyshev and Mohd Taufik Abdullah and Yuandong Zhu}, year = {2009}, doi = {10.1007/978-3-642-11534-9_9}, url = {http://dx.doi.org/10.1007/978-3-642-11534-9_9}, tags = {analysis}, researchr = {https://researchr.org/publication/JamesGAZ09}, cites = {0}, citedby = {0}, pages = {85-98}, booktitle = {Digital Forensics and Cyber Crime - First International ICST Conference, ICDF2C 2009, Albany, NY, USA, September 30-October 2, 2009, Revised Selected Papers}, editor = {Sanjay Goel}, volume = {31}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, publisher = {Springer}, isbn = {978-3-642-11533-2}, }