达姆，沃纳;阿尔弗雷德·米克施尔;延斯·奥勒金;奥尔德罗格（Ernst-Rüdiger Olderog）;庞、军;安德烈·普拉泽;马克·塞格尔肯;鲍里斯·维茨 自动验证交通应用程序中的合作、控制和设计。 （英语） Zbl 1151.68476号 Jones，Cliff B.（编辑）等人，《形式化方法和混合实时系统》。纪念迪内斯·比约纳和周朝晨70岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-75220-2/pbk）。计算机科学课堂讲稿4700，115-169（2007）。MSC公司：60年第68季度 90B20型 93立方 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人，Lect。注释计算。科学。4700、115--169（2007年；Zbl 1151.68476） 全文： 内政部
达姆，沃纳;斯特凡·迪什;哈迪·亨加;瑞典雅各布斯;庞、军;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨 具有大离散状态空间的线性混合系统验证中的精确状态集表示。 （英语） Zbl 1141.68461号 Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762425-440（2007）。MSC公司：60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit｛W.Damm｝等人，Lect。注释计算。科学。4762、425--440（2007年；Zbl 1141.68461） 全文： 内政部
达姆，沃纳;斯特凡·迪什;哈迪·亨加;庞、军;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨 具有大离散状态空间的混合系统的自动验证。 （英语） Zbl 1161.68562号 Graf，Susanne（编辑）等人，《验证和分析自动化技术》。2006年10月23日至26日，第四届国际研讨会，ATVA 2006，中国北京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-47237-7/pbk）。计算机科学课堂讲稿4218，276-291（2006）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人，Lect。注释计算。科学。4218276-291（2006年；Zbl 1161.68562） 全文： 内政部