%0 Conference Paper %1 conf/dagstuhl/CuellarW95 %A Cuéllar, Jorge %A Wildgruber, Isolde %B Formal Methods for Industrial Applications %D 1995 %E Abrial, Jean-Raymond %E Börger, Egon %E Langmaack, Hans %I Springer %K dblp %P 165-183 %T The Steam-Boiler Problem - A TLT Solution. %U http://dblp.uni-trier.de/db/conf/dagstuhl/fm1995.html#CuellarW95 %V 1165 %@ 3-540-61929-1

@inproceedings{conf/dagstuhl/CuellarW95, added-at = {2017-05-19T00:00:00.000+0200}, author = {Cuéllar, Jorge and Wildgruber, Isolde}, biburl = {https://www.bibsonomy.org/bibtex/25529556b84b95bde88c117952503ef5c/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/BFb0027236}, interhash = {8b7b7669d1340987214a77ee2562eca9}, intrahash = {5529556b84b95bde88c117952503ef5c}, isbn = {3-540-61929-1}, keywords = {dblp}, pages = {165-183}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:35:02.000+0200}, title = {The Steam-Boiler Problem - A TLT Solution.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/fm1995.html#CuellarW95}, volume = 1165, year = 1995 }