default search action

combined dblp search
author search
venue search
publication search

ask others

Frank Schüssele

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/SchusseleBDHJKP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/SchusseleBDHJKP24
Frank Schüssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski:
Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). TACAS (3) 2024: 418-423
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/HeizmannKNS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/HeizmannKNS24
Matthias Heizmann, Dominik Klumpp, Lars Nitzke, Frank Schüssele:
Petrification: Software Model Checking for Programs with Dynamic Thread Management. VMCAI (2) 2024: 3-25
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-16612
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-16612
Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schüssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani:
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version). CoRR abs/2411.16612 (2024)
2023
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HeizmannBDFHKNSSP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeizmannBDFHKNSSP23
Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski:
Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution). TACAS (2) 2023: 577-581
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/DietschHKSP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DietschHKSP23
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski:
Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution). TACAS (2) 2023: 582-587
[d39]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Automizer SV-COMP 2024. Version 0.2.3-dev-e7bb482. Zenodo, 2023 [all versions]
[d38]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23a
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Kojak SV-COMP 2024. Version 0.2.3-dev-e7bb482. Zenodo, 2023 [all versions]
[d37]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23aa
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23aa
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate GemCutter SV-COMP 2024. Version 0.2.3-dev-6f5b98e. Zenodo, 2023 [all versions]
[d36]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23ab
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23ab
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Automizer SV-COMP 2024. Version 0.2.4-dev-0e0057c. Zenodo, 2023 [all versions]
[d35]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23ac
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23ac
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Kojak SV-COMP 2024. Version 0.2.4-dev-0e0057c. Zenodo, 2023 [all versions]
[d34]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23ad
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23ad
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Taipan SV-COMP 2024. Version 0.2.4-dev-0e0057c. Zenodo, 2023 [all versions]
[d33]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23ae
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23ae
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate GemCutter SV-COMP 2024. Version 0.2.4-dev-0e0057c. Zenodo, 2023 [all versions]
[d32]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23af
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23af
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Automizer SV-COMP 2024. Version 0.2.4-?-8430d5a-m. Zenodo, 2023 [all versions]
[d31]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23b
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Taipan SV-COMP 2024. Version 0.2.3-dev-e7bb482. Zenodo, 2023 [all versions]
[d30]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23c
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate GemCutter SV-COMP 2024. Version 0.2.3-dev-e7bb482. Zenodo, 2023 [all versions]
[d29]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23d
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Automizer SV-COMP 2024. Version 0.2.3-dev-cf1a783. Zenodo, 2023 [all versions]
[d28]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23e
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Kojak SV-COMP 2024. Version 0.2.3-dev-cf1a783. Zenodo, 2023 [all versions]
[d27]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23f
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23f
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Taipan SV-COMP 2024. Version 0.2.3-dev-cf1a783. Zenodo, 2023 [all versions]
[d26]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23g
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23g
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate GemCutter SV-COMP 2024. Version 0.2.3-dev-cf1a783. Zenodo, 2023 [all versions]
[d25]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23h
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23h
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Automizer SV-COMP 2024. Version 0.2.3-dev-9bd2c7f. Zenodo, 2023 [all versions]
[d24]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23i
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23i
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Kojak SV-COMP 2024. Version 0.2.3-dev-9bd2c7f. Zenodo, 2023 [all versions]
[d23]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23j
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23j
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Taipan SV-COMP 2024. Version 0.2.3-dev-9bd2c7f. Zenodo, 2023 [all versions]
[d22]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23k
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23k
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate GemCutter SV-COMP 2024. Version 0.2.3-dev-9bd2c7f. Zenodo, 2023 [all versions]
[d21]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23l
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23l
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Automizer SV-COMP 2024. Version 0.2.3-dev-11995ef. Zenodo, 2023 [all versions]
[d20]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23m
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23m
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Kojak SV-COMP 2024. Version 0.2.3-dev-11995ef. Zenodo, 2023 [all versions]
[d19]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23n
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23n
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Taipan SV-COMP 2024. Version 0.2.3-dev-11995ef. Zenodo, 2023 [all versions]
[d18]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23o
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23o
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate GemCutter SV-COMP 2024. Version 0.2.3-dev-11995ef. Zenodo, 2023 [all versions]
[d17]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23p
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23p
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Automizer SV-COMP 2024. Version 0.2.3-dev-527bcce. Zenodo, 2023 [all versions]
[d16]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23q
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23q
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Kojak SV-COMP 2024. Version 0.2.3-dev-527bcce. Zenodo, 2023 [all versions]
[d15]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23r
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23r
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Taipan SV-COMP 2024. Version 0.2.3-dev-527bcce. Zenodo, 2023 [all versions]
[d14]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23s
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23s
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate GemCutter SV-COMP 2024. Version 0.2.3-dev-527bcce. Zenodo, 2023 [all versions]
[d13]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23t
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23t
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Automizer SV-COMP 2024. Version 0.2.3-dev-30e01a7. Zenodo, 2023 [all versions]
[d12]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23u
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23u
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Kojak SV-COMP 2024. Version 0.2.3-dev-30e01a7. Zenodo, 2023 [all versions]
[d11]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23v
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23v
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Taipan SV-COMP 2024. Version 0.2.3-dev-30e01a7. Zenodo, 2023 [all versions]
[d10]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23w
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate GemCutter SV-COMP 2024. Version 0.2.3-dev-30e01a7. Zenodo, 2023 [all versions]
[d9]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23x
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23x
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Automizer SV-COMP 2024. Version 0.2.3-dev-6f5b98e. Zenodo, 2023 [all versions]
[d8]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23y
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23y
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Kojak SV-COMP 2024. Version 0.2.3-dev-6f5b98e. Zenodo, 2023 [all versions]
[d7]
- view
  authority control:
- export record
  dblp key:
  - data/10/DietschBHKPS23z
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschBHKPS23z
Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele:
Ultimate Taipan SV-COMP 2024. Version 0.2.3-dev-6f5b98e. Zenodo, 2023 [all versions]
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-01302
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-01302
Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Lars Nitzke:
Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version). CoRR abs/2311.01302 (2023)
2022
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/KlumppDHSEFP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KlumppDHSEFP22
Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski:
Ultimate GemCutter and the Axes of Generalization - (Competition Contribution). TACAS (2) 2022: 479-483
[d6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/DietschHKSP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschHKSP22
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski:
Ultimate Taipan SV-COMP 2023 Competition Contribution. Zenodo, 2022
[d5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/HeizmannBDFHKNSSP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/HeizmannBDFHKNSSP22
Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski:
Ultimate Automizer (SV-COMP 2022 - Modified). Zenodo, 2022
[d4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/HeizmannDKSP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/HeizmannDKSP22
Matthias Heizmann, Daniel Dietsch, Dominik Klumpp, Frank Schüssele, Andreas Podelski:
Ultimate Automizer SV-COMP 2023 Competition Contribution. Zenodo, 2022
[d3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/KlumppDHSFP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/KlumppDHSFP22
Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Azadeh Farzan, Andreas Podelski:
Ultimate GemCutter SV-COMP 2023 Competition Contribution. Zenodo, 2022
[d2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/SchusseleDHKP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/SchusseleDHKP22
Frank Schüssele, Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Andreas Podelski:
Ultimate Kojak SV-COMP 2023 Competition Contribution. Zenodo, 2022
2021
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/KlumppDHSEFP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/KlumppDHSEFP21
Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski:
Ultimate GemCutter SV-COMP 2022 Competition Contribution. Zenodo, 2021
2020
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/DietschHNSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DietschHNSS20
Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Frank Schüssele:
Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution). TACAS (2) 2020: 418-422

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HeizmannCDGNMSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeizmannCDGNMSS17
Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski:
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). TACAS (2) 2017: 394-398
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/GreitschusDHNSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GreitschusDHNSS17
Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski:
Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). TACAS (2) 2017: 399-403

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.