%0 Conference Paper %1 conf/issac/DolzmannS97 %A Dolzmann, Andreas %A Sturm, Thomas %B ISSAC %D 1997 %E Char, Bruce W. %E Wang, Paul S. %E Küchlin, Wolfgang %I ACM %K %P 376-383 %T Guarded Expressions in Practice. %U http://dblp.uni-trier.de/db/conf/issac/issac97.html#DolzmannS97 %@ 0-89791-875-4

@inproceedings{conf/issac/DolzmannS97, added-at = {2023-12-13T09:57:24.000+0100}, author = {Dolzmann, Andreas and Sturm, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2adb5321b2a9442c5e4ac2963c9d2eba6/admin}, booktitle = {ISSAC}, crossref = {conf/issac/1997}, editor = {Char, Bruce W. and Wang, Paul S. and Küchlin, Wolfgang}, ee = {http://dl.acm.org/citation.cfm?id=258726}, interhash = {d33d9a172b6870b0b627a2977762ad6b}, intrahash = {adb5321b2a9442c5e4ac2963c9d2eba6}, isbn = {0-89791-875-4}, keywords = {}, pages = {376-383}, publisher = {ACM}, timestamp = {2023-12-13T09:57:24.000+0100}, title = {Guarded Expressions in Practice.}, url = {http://dblp.uni-trier.de/db/conf/issac/issac97.html#DolzmannS97}, year = 1997 }