使更活跃 发表于 2025-4-1 04:34:23

http://reply.papertrans.cn/44/4302/430180/430180_61.png

娘娘腔 发表于 2025-4-1 08:40:07

Mrinal K. Ghosh,Steven I. Marcus,Aristotle Arapostathish 3316 systems on a CD. Tables and graphs with numerical values are printed in the book for only 802binary mixtures. The present Part 2 contains numerical data for 2297 additional systems, values for 860 binary systems are in the book. The ELBT.EXE program of Part 2 can be downloaded as electronic s

white-matter 发表于 2025-4-1 12:05:22

http://reply.papertrans.cn/44/4302/430180/430180_63.png
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Hybrid Systems III; Verification and Con Rajeev Alur,Thomas A. Henzinger,Eduardo D. Sontag Conference proceedings 1996 Springer-Verlag Berl