Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Yovine, S. KRONOS: a verification tool for real-time systems . STTT 1, 123–133 (1997). https://doi.org/10.1007/s100090050009
Published:
Issue Date:
DOI: https://doi.org/10.1007/s100090050009