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

Dagstuhl Seminar Proceedings: Simulation and Verification of Dynamic Systems 2006

David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher (Eds.): Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006. Dagstuhl Seminar Proceedings 06161 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Mar 15 03:28:30 2010 by Michael Ley (ley@uni-trier.de)