conference paper published yes Thomas A Henzinger author 40876CD8-F248-11E8-B48F-1D18A9856A870000−0002−2985−7724 Pei Ho author Howard Wong Toi author TACAS: Tools and Algorithms for the Construction and Analysis of Systems 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. The 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. Springer1995Aarhus, Denmark eng 978354060630710.1007/3-540-60630-0_3 101941 - 71 yes Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “A User Guide to HyTech.” In <i>1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems</i>, 1019:41–71. Springer, 1995. <a href="https://doi.org/10.1007/3-540-60630-0_3">https://doi.org/10.1007/3-540-60630-0_3</a>. T.A. Henzinger, P. Ho, H. Wong Toi, in:, 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 1995, pp. 41–71. Henzinger TA, Ho P, Wong Toi H. 1995. A user guide to HyTech. 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1019, 41–71. Henzinger, Thomas A., et al. “A User Guide to HyTech.” <i>1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems</i>, vol. 1019, Springer, 1995, pp. 41–71, doi:<a href="https://doi.org/10.1007/3-540-60630-0_3">10.1007/3-540-60630-0_3</a>. Henzinger, T. A., Ho, P., &#38; Wong Toi, H. (1995). A user guide to HyTech. In <i>1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems</i> (Vol. 1019, pp. 41–71). Aarhus, Denmark: Springer. <a href="https://doi.org/10.1007/3-540-60630-0_3">https://doi.org/10.1007/3-540-60630-0_3</a> T. A. Henzinger, P. Ho, and H. Wong Toi, “A user guide to HyTech,” in <i>1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems</i>, Aarhus, Denmark, 1995, vol. 1019, pp. 41–71. Henzinger TA, Ho P, Wong Toi H. A user guide to HyTech. In: <i>1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems</i>. Vol 1019. Springer; 1995:41-71. doi:<a href="https://doi.org/10.1007/3-540-60630-0_3">10.1007/3-540-60630-0_3</a> 44972018-12-11T12:09:09Z2022-06-10T09:00:05Z