Verification of Infinite-State Systems with Applications to Security
VISSAS 2005: Timisoara, Romania
Edmund M. Clarke, Marius Minea, Ferucio Laurentiu Tiplea (Eds.): Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop "Verification of Infinite State Systems with Applications to Security VISSAS 2005", Timisoara, Romania, March 17-22, 2005. IOS Press 2006 NATO Security through Science Series D: Information and Communication Security1 ISBN 1-58603-570-3 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team