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

SFM 2006: Bertinoro, Italy

Marco Bernardo, Alessandro Cimatti (Eds.): Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures. Lecture Notes in Computer Science 3965 Springer 2006, ISBN 978-3-540-34304-2 BibTeX

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