HyTech: A Model Checker for Hybrid Systems (1997)

View PDF

Download Links

by Thomas A. Henzinger , Pei-Hsin Ho , Howard Wong-toi
Venue:Software Tools for Technology Transfer
Citations:449 - 6 self