Title

Model-based testing of reactive systems. Advanced lectures

Title Supplement

Outcome of a research seminar held in Schloss Dagstuhl in January 2004

Person Involved

Publisher

Publishing Place

Berlin

Publication Date

2005

Series

Lecture Notes in Computer Science; 3472

ISBN

3-540-26278-4

978-3-540-26278-7

Conference