No. Title Author Year
1 Formal Methods in Molecular Biology (Dagstuhl Seminar 11151) Breitling, Rainer et al. 2011
2 06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems Nicol, David M. et al. 2006
3 06161 Executive Summary -- Simulation and Verification of Dynamic Systems Riis-Nielson, Hanne et al. 2006
4 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification Batt, Gregory et al. 2006
Current Page :
Number of result pages: 1
Number of documents: 4


DROPS-Home | Fulltext Search | Imprint Published by LZI