Model-Based Reasoning in Science, Technology, and Medicine 2007

maintained by Schloss Dagstuhl LZI at University of Trier