“线性混合验证中的精确状态集表示…”
沃纳·达姆 , Stefan Disch公司 , 哈迪·亨加 , 瑞典雅各布斯 , 彭军(Jun Pang) , 弗洛里安·皮戈什 , 克里斯托夫·斯科尔 , 乌韦·沃尔德曼 , 鲍里斯·维茨 :
大离散状态空间线性混合系统验证中的精确状态集表示。 ATVA公司 2007 : 425至440
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。
![](https://dblp.org/img/cog.dark.24x24.png)