%0 Conference Paper %1 conf/tacas/BrockmeyerW98 %A Brockmeyer, Udo %A Wittich, Gunnar %B TACAS %D 1998 %E Steffen, Bernhard %I Springer %K %P 217-231 %T Tamagotchis Need Not Die - Verification of STATEMENT Design. %U http://dblp.uni-trier.de/db/conf/tacas/tacas98.html#BrockmeyerW98 %V 1384 %@ 3-540-64356-7

@inproceedings{conf/tacas/BrockmeyerW98, added-at = {2023-12-13T01:52:53.000+0100}, author = {Brockmeyer, Udo and Wittich, Gunnar}, biburl = {https://www.bibsonomy.org/bibtex/26607dabcaa3636846018244a2a234166/admin}, booktitle = {TACAS}, crossref = {conf/tacas/1998}, editor = {Steffen, Bernhard}, ee = {https://doi.org/10.1007/BFb0054174}, interhash = {77c33d9159b989ba963bd441cec90e7e}, intrahash = {6607dabcaa3636846018244a2a234166}, isbn = {3-540-64356-7}, keywords = {}, pages = {217-231}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T01:52:53.000+0100}, title = {Tamagotchis Need Not Die - Verification of STATEMENT Design.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas98.html#BrockmeyerW98}, volume = 1384, year = 1998 }