%0 Journal Article %1 journals/scp/Scholz01 %A Scholz, Peter %D 2001 %J Sci. Comput. Program. %K %N 1 %P 119-145 %T Incremental design of statechart specifications. %U http://dblp.uni-trier.de/db/journals/scp/scp40.html#Scholz01 %V 40

@article{journals/scp/Scholz01, added-at = {2023-12-12T17:14:49.000+0100}, author = {Scholz, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2bd46bdfc0308224ff95b7e6bfc985eea/admin}, ee = {http://dx.doi.org/10.1016/S0167-6423(00)00026-5}, interhash = {00de6f9ffabd99c1af2d489840837e09}, intrahash = {bd46bdfc0308224ff95b7e6bfc985eea}, journal = {Sci. Comput. Program.}, keywords = {}, number = 1, pages = {119-145}, timestamp = {2023-12-12T17:14:49.000+0100}, title = {Incremental design of statechart specifications.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp40.html#Scholz01}, volume = 40, year = 2001 }