Running summarizing tools on a new article
Check the paper below, then start its synthesis.
HyTech: A model checker for hybrid systems
Thomas A. Henzinger (University of California, Berkeley), Pei-Hsin Ho (Intel (United States)), Howard Wong-Toi
Lecture notes in computer science
DOI: 10.1007/3-540-63166-6_48 (Computer Science)
License: not stated (all rights reserved)
Published on 01 Jan. 1997