HYTECH: a model checker for hybrid systems

Publisher Website

1 December 1997

journal article
Published by Springer Nature in International Journal on Software Tools for Technology Transfer

Vol. 1 (1-2), 110-122
https://doi.org/10.1007/s100090050008

Abstract

No abstract available

Keywords

HYBRID SYSTEM

Cited by 471 articles