"Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006"

David M. Nicol et al. (2006)

Details and statistics

DOI:

access: open

type: Editorship

metadata version: 2021-06-10

a service of  Schloss Dagstuhl - Leibniz Center for Informatics