Thomas A. Henzinger and Howard Wong-Toi
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M96/61
October 1996
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1996/ERL-96-61.pdf
BibTeX citation:
@techreport{Henzinger:M96/61, Author = {Henzinger, Thomas A. and Wong-Toi, Howard}, Title = {Using HyTech to Synthesize Control Parameters for a Steam Boiler}, Institution = {EECS Department, University of California, Berkeley}, Year = {1996}, Month = {Oct}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1996/3095.html}, Number = {UCB/ERL M96/61} }
EndNote citation:
%0 Report %A Henzinger, Thomas A. %A Wong-Toi, Howard %T Using HyTech to Synthesize Control Parameters for a Steam Boiler %I EECS Department, University of California, Berkeley %D 1996 %@ UCB/ERL M96/61 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1996/3095.html %F Henzinger:M96/61