%0 Book Section %1 bussow_96_steamboiler %A Büssow, Robert %A Weber, Matthias %D 1996 %J Formal Methods for Industrial Applications %K 1996 statecharts z %P 109--128 %R 10.1007/BFb0027233 %T A steam-boiler control specification with statecharts and Z %U http://dx.doi.org/10.1007/BFb0027233 %X Without Abstract

@incollection{bussow_96_steamboiler, abstract = {Without Abstract}, added-at = {2009-02-12T00:08:24.000+0100}, author = {B"{u}ssow, Robert and Weber, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/26105f8f4b1098d4009a10434107e03d2/leonardo}, citeulike-article-id = {2653150}, doi = {10.1007/BFb0027233}, interhash = {dc8ef2a2ec7ab0e145feefe641f33e9e}, intrahash = {6105f8f4b1098d4009a10434107e03d2}, journal = {Formal Methods for Industrial Applications}, keywords = {1996 statecharts z}, pages = {109--128}, posted-at = {2008-04-11 10:36:54}, priority = {3}, timestamp = {2009-02-12T00:08:24.000+0100}, title = {A steam-boiler control specification with statecharts and Z}, url = {http://dx.doi.org/10.1007/BFb0027233}, year = 1996 }