Tom Plant

According to our database, Tom Plant authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Confidence Analysis for Nuclear Arms Control: SMT Abstractions of Bayesian Belief Networks.

Paul Beaumont, Neil Evans, Michael Huth, Tom Plant

Proceedings of the Computer Security - ESORICS 2015, 2015