"Using Multiple-Valued Logic Decision Diagrams to Model System Threat ..."

Theodore W. Manikas, Mitchell A. Thornton, David Y. Feinstein (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics