Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid

Serguei A. Mokhov, Joey Paquet, Mourad Debbabi. Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid. In Joseph S. Gauthier, editor, The Huntsville Simulation Conference - HSC 2009, Huntsville, AL, USA, October 27-29, 2009. Proceedings. pages 326-333, The Society for Modeling and Simulation International (SCS), 2009.

Authors

Serguei A. Mokhov

This author has not been identified. Look up 'Serguei A. Mokhov' in Google

Joey Paquet

This author has not been identified. Look up 'Joey Paquet' in Google

Mourad Debbabi

This author has not been identified. Look up 'Mourad Debbabi' in Google