Theodore W. Manikas, Mitchell A. Thornton, David Y. Feinstein. Using Multiple-Valued Logic Decision Diagrams to Model System Threat Probabilities. In Jaakko Astola, Radomir S. Stankovic, editors, 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011, Tuusula, Finland, May 23-25, 2011. pages 263-267, IEEE, 2011. [doi]