达姆,沃纳;Henning Dierks公司;斯特凡·迪什;威廉·哈格曼;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨 具有大型离散状态空间的线性混合自动机的精确和完全符号验证。 (英语) Zbl 1243.68212号 科学。计算。程序。 77,编号10-11122-1150(2012).MSC公司:60年第68季度 65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人,科学。计算。程序。77,No.10--111122--1150(2012;Zbl 1243.68212) 全文: 内政部
克里斯托夫·斯科尔;斯特凡·迪什;弗洛里安·皮戈什;斯特凡·库普弗施米德 通过检测和删除冗余线性约束计算非凸多面体的优化表示。 (英语) Zbl 1234.68266号 Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学课堂讲稿5505383-397(2009)。MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Scholl}等人,Lect。注释计算。科学。5505383-397(2009年;Zbl 1234.68266) 全文: 内政部