HYTECH: a model checker for hybrid systems

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: International Journal on Software Tools for Technology Transfer

Abbreviated Title: STTT

Publisher: Springer Nature

ISSN (Print): 1433-2779

Publication date Created: December 1997

Publication date (Print): February 2014

Volume: 1

Issue: 1-2

Pages: 110-122

Article

DOI: 10.1007/s100090050008

SO-VID: abe68ee1-9861-4189-b48a-395080692841

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.