Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
A User Guide to HyTech
TACAS, 1995.
@inproceedings{TACAS-1995-HenzingerHW,
author = "Thomas A. Henzinger and Pei-Hsin Ho and Howard Wong-Toi",
booktitle = "{Proceedings of the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems}",
doi = "10.1007/3-540-60630-0_3",
isbn = "3-540-60630-0",
pages = "41--71",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{A User Guide to HyTech}",
volume = 1019,
year = 1995,
}