Skip to content. | Skip to navigation

Personal tools
Sections

D.M Nicol, C Priami, H.R Nielson, and A.M Uhrmacher (ed.) (2006)

Simulation and Verification of Dynamic Systems

Dagstuhl Seminar Proceedings 0161.

ISSN 1862-4405
Document Actions