Henzinger TA, Ho P, Wong Toi H. A user guide to HyTech. In: 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. Vol 1019. Springer; 1995:41-71. doi:10.1007/3-540-60630-0_3
LibreCat: https://research-explorer.ista.ac.at/record/4497
DOI: 10.1007/3-540-60630-0_3