HyTech: A Model Checker for Hybrid Systems (1997)

Cached

Download Links

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