Titlebook: Hybrid Systems III; Verification and Con Rajeev Alur,Thomas A. Henzinger,Eduardo D. Sontag Conference proceedings 1996 Springer-Verlag Berl

使更活跃

娘娘腔

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