Inproceedings,
Guarded Expressions in Practice.
A. Dolzmann, and T. Sturm.ISSAC, page 376-383. ACM, (1997)
Meta data
- BibTeX key
- conf/issac/DolzmannS97
- entry type
- inproceedings
- booktitle
- ISSAC
- year
- 1997
- pages
- 376-383
- publisher
- ACM
- crossref
- conf/issac/1997
- ee
- http://dl.acm.org/citation.cfm?id=258726
- isbn
- 0-89791-875-4
- url
- http://dblp.uni-trier.de/db/conf/issac/issac97.html#DolzmannS97
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}