×

找到2个文档(结果1-2)

基于谓词抽象的混合系统可达性分析。 (英语) Zbl 1044.93517号

Tomlin,Claire J.(编辑)等人,《混合系统:计算和控制》。2002年3月25日至27日在美国加利福尼亚州斯坦福举行的2002年HSCC第五届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43321-X)。莱克特。注释计算。科学。2289, 35-48 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

出版年份

主字段