dblp.uni-trier.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

Copyright © Sat Nov 21 00:53:00 2009 by Michael Ley (ley@uni-trier.de)