Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/tacas/GreitschusDHNSS17
%A Greitschus, Marius
%A Dietsch, Daniel
%A Heizmann, Matthias
%A Nutz, Alexander
%A Schätzle, Claus
%A Schilling, Christian
%A Schüssele, Frank
%A Podelski, Andreas
%B TACAS (2)
%D 2017
%E Legay, Axel
%E Margaria, Tiziana
%K
%P 399-403
%T Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).
%U http://dblp.uni-trier.de/db/conf/tacas/tacas2017-2.html#GreitschusDHNSS17
%V 10206
%@ 978-3-662-54580-5
@inproceedings{conf/tacas/GreitschusDHNSS17,
added-at = {2023-12-14T14:38:55.000+0100},
author = {Greitschus, Marius and Dietsch, Daniel and Heizmann, Matthias and Nutz, Alexander and Schätzle, Claus and Schilling, Christian and Schüssele, Frank and Podelski, Andreas},
biburl = {https://www.bibsonomy.org/bibtex/2b739d81131dc74c4ae4c954d30451525/admin},
booktitle = {TACAS (2)},
crossref = {conf/tacas/2017-2},
editor = {Legay, Axel and Margaria, Tiziana},
ee = {https://doi.org/10.1007/978-3-662-54580-5_31},
interhash = {e1a9459e2e71cce480b08283ea6b1fed},
intrahash = {b739d81131dc74c4ae4c954d30451525},
isbn = {978-3-662-54580-5},
keywords = {},
pages = {399-403},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-14T14:38:55.000+0100},
title = {Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).},
url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2017-2.html#GreitschusDHNSS17},
volume = 10206,
year = 2017
}