Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1 Publication
1996 | Book Chapter | IST-REx-ID: 4427
Henzinger, Thomas A, and Howard Wong Toi. “Using HyTech to Synthesize Control Parameters for a Steam Boiler.” In Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, 1165:265–82. Springer, 1996. https://doi.org/10.1007/BFb0027241.
View
| DOI
| Download None (ext.)