@article{paperid:1075608,
author = {Soltani, Somayeh and Hosseini Seno, Seyed Amin},
title = {A formal model for event reconstruction in digital forensic investigation},
journal = {Digital Investigation},
year = {2019},
volume = {30},
month = {September},
issn = {1742-2876},
pages = {148--160},
			numpages = {12},
keywords = {Formal event reconstruction
Formal digital investigation
Formal mathematical methods
Model checking
Process algebra
Modal μ-calculus
State space explosion},
}