Title

Verification over discrete-continuous boundaries

Title Supplement
Dagstuhl Seminar 10271, 04.07. - 09.07.2010
Person Involved
Publisher
Publishing Place
Wadern
Publication Date
2010
Series
Dagstuhl Seminar Proceedings; 10271
ISSN
1862-4405
Conference