HyTech: A model checker for hybrid systems

T.A. Henzinger, P. Ho, H. Wong Toi, Software Tools For Technology Transfer 1 (1997) 110–122.

Download
No fulltext has been uploaded. References only!

Journal Article | Published
Author
; ;
Publishing Year
Date Published
1997-01-01
Journal Title
Software Tools For Technology Transfer
Volume
1
Issue
1-2
Page
110 - 122
IST-REx-ID

Cite this

Henzinger TA, Ho P, Wong Toi H. HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. 1997;1(1-2):110-122. doi:10.1007/s100090050008
Henzinger, T. A., Ho, P., & Wong Toi, H. (1997). HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer, 1(1–2), 110–122. https://doi.org/10.1007/s100090050008
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: A Model Checker for Hybrid Systems.” Software Tools For Technology Transfer 1, no. 1–2 (1997): 110–22. https://doi.org/10.1007/s100090050008.
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: A model checker for hybrid systems,” Software Tools For Technology Transfer, vol. 1, no. 1–2, pp. 110–122, 1997.
Henzinger TA, Ho P, Wong Toi H. 1997. HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. 1(1–2), 110–122.
Henzinger, Thomas A., et al. “HyTech: A Model Checker for Hybrid Systems.” Software Tools For Technology Transfer, vol. 1, no. 1–2, Springer, 1997, pp. 110–22, doi:10.1007/s100090050008.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar