Autors:

CiteWeb id: 20140000078

CiteWeb score: 1300

DOI: 10.1007/s100090050008

The publication "HYTECH: a model checker for hybrid systems" is placed in the Top 10000 in category Other.
Links to full text of the publication: