---
res:
  bibo_abstract:
  - "HyTech is a tool for the automated analysis of embedded systems. This document,
    designed for the first-time user of HyTech, guides the reader through the underlying
    system model, and through the input language for describing and analyzing systems.
    The guide gives several examples of usage, and some hints for gaining maximal
    computational efficiency from the tool.\r\nThe version of HyTech described in
    this guide was released in August 1995, and is available through anonymous ftp
    from ftp.cs.cornell.edu in the directory pub/tah/HyTech, and through the World-Wide
    Web via HyTech's home page http:/www.cs.cornell.edu/Info/People/tah/hytech.html.@eng"
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Henzinger, Thomas A
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000−0002−2985−7724
  - foaf_Person:
      foaf_givenName: Pei
      foaf_name: Ho, Pei
      foaf_surname: Ho
  - foaf_Person:
      foaf_givenName: Howard
      foaf_name: Wong Toi, Howard
      foaf_surname: Wong Toi
  bibo_doi: 10.1007/3-540-60630-0_3
  bibo_volume: 1019
  dct_date: 1995^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/9783540606307
  dct_language: eng
  dct_publisher: Springer@
  dct_title: A user guide to HyTech@
...