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 BibTeX

Copyright © Sat May 16 23:44:40 2009 by Michael Ley (ley@uni-trier.de)