TY - RPRT TI - Reasoning About a Simulated Printer Case Investigation with Forensic Lucid AU - Serguei A. Mokhov AU - Joey Paquet AU - Mourad Debbabi PY - 2012 DO - 10.1007/978-3-642-35515-8_23 UR - https://arxiv.org/abs/0906.5181 ID - 0906.5181 ER -