% IMPORTANT: The following is UTF-8 encoded. This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.
@INPROCEEDINGS{vejda:814598,
author = {Švejda, Jan and Berger, Philipp and Katoen, Joost-Pieter},
title = {{I}nterpretation-{B}ased {V}iolation {W}itness {V}alidation
for {C} : {NITWIT}},
volume = {12078, Theoretical Computer Science and General Issues},
address = {Cham},
publisher = {Springer International Publishing},
reportid = {RWTH-2021-02249},
series = {Lecture Notes in Computer Science},
pages = {40-57},
year = {2020},
note = {Weitere Reihe: Springer eBook Collection},
comment = {Tools and Algorithms for the Construction and Analysis of
Systems : 26th International Conference, TACAS 2020, Held as
Part of the European Joint Conferences on Theory and
Practice of Software, ETAPS 2020, Dublin, Ireland, April
25–30, 2020, Proceedings, Part I / edited by Armin Biere,
David Parker},
booktitle = {Tools and Algorithms for the
Construction and Analysis of Systems :
26th International Conference, TACAS
2020, Held as Part of the European
Joint Conferences on Theory and
Practice of Software, ETAPS 2020,
Dublin, Ireland, April 25–30, 2020,
Proceedings, Part I / edited by Armin
Biere, David Parker},
month = {Apr},
date = {2020-04-25},
organization = {26. International Conference on Tools
and Algorithms for the Construction and
Analysis of Systems, online, 25 Apr
2020 - 30 Apr 2020},
cin = {121310 / 120000},
cid = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
typ = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
doi = {10.1007/978-3-030-45190-5_3},
url = {https://publications.rwth-aachen.de/record/814598},
}
guest ::