Items where Division is "Computer Security Laboratory" and Year is 2012

Conference or Workshop Item

Mokhov, Serguei A. (2012) Toward Formal Reasoning in Cyberforensic Case Investigation with Forensic Lucid. In: Lecture: Toward Formal Reasoning in Cyberforensic Case Investigation with Forensic Lucid, May 8, 2012, East Main Building 10-101, Department of Computer Science and Technology, Tsinghua University, Beijing, China.