%0 Conference Paper %1 conf/dagstuhl/HenzingerW95 %A Henzinger, Thomas A. %A Wong-Toi, Howard %B Formal Methods for Industrial Applications %D 1995 %E Abrial, Jean-Raymond %E Börger, Egon %E Langmaack, Hans %I Springer %K dblp %P 265-282 %T Using HyTech to Synthesize Control Parameters for a Steam Boiler. %U http://dblp.uni-trier.de/db/conf/dagstuhl/fm1995.html#HenzingerW95 %V 1165 %@ 3-540-61929-1

@inproceedings{conf/dagstuhl/HenzingerW95, added-at = {2017-05-19T00:00:00.000+0200}, author = {Henzinger, Thomas A. and Wong-Toi, Howard}, biburl = {https://www.bibsonomy.org/bibtex/2028e62882f68194ab13910c4064a01cc/dblp}, booktitle = {Formal Methods for Industrial Applications}, crossref = {conf/dagstuhl/1995fm}, editor = {Abrial, Jean-Raymond and Börger, Egon and Langmaack, Hans}, ee = {https://doi.org/10.1007/BFb0027241}, interhash = {a6afe996a7d9147a9c6806be4bcb8b34}, intrahash = {028e62882f68194ab13910c4064a01cc}, isbn = {3-540-61929-1}, keywords = {dblp}, pages = {265-282}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:35:02.000+0200}, title = {Using HyTech to Synthesize Control Parameters for a Steam Boiler.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/fm1995.html#HenzingerW95}, volume = 1165, year = 1995 }