dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

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. NATO Security through Science Series D: Information and Communication Security 1 IOS Press 2006, ISBN 1-58603-570-3 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Sat May 18 19:53:17 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page