%0 Book %1 brockmeyer_98_tamagotchis %A Brockmeyer, Udo %A Wittich, Gunnar %D 1998 %J Lecture Notes in Computer Science : Tools and Algorithms for the Construction and Analysis of Systems %K 1998 verification statecharts statemate %P 217--231 %R 10.1007/BFb0054174 %T Tamagotchis need not die ^a€�? Verification of statemate designs %U http://dx.doi.org/10.1007/BFb0054174

@book{brockmeyer_98_tamagotchis, added-at = {2009-02-11T22:23:11.000+0100}, author = {Brockmeyer, Udo and Wittich, Gunnar}, biburl = {https://www.bibsonomy.org/bibtex/21c3096f36cc317f0788451e8a2e16b99/leonardo}, citeulike-article-id = {894418}, doi = {10.1007/BFb0054174}, interhash = {9b8bd056051cc53862cf513a0544ef87}, intrahash = {1c3096f36cc317f0788451e8a2e16b99}, journal = {Lecture Notes in Computer Science : Tools and Algorithms for the Construction and Analysis of Systems}, keywords = {1998 verification statecharts statemate}, pages = {217--231}, posted-at = {2006-10-12 18:47:21}, priority = {2}, timestamp = {2009-02-11T22:23:11.000+0100}, title = {Tamagotchis need not die ^{a}€�? Verification of statemate designs}, url = {http://dx.doi.org/10.1007/BFb0054174}, year = 1998 }