Kapur, Deepak ;
Podelski, Andreas ;
Voronkov, Andrei
Weitere Beteiligte (Hrsg. etc.): Deepak Kapur and Andreas Podelski and Andrei Voronkov
Deduction and Infinite-state Model Checking (Dagstuhl Seminar 03171)
BibTeX - Entry
@TechReport{kapur_et_al:DagSemRep.376,
author = {Kapur, Deepak and Podelski, Andreas and Voronkov, Andrei},
title = {{Deduction and Infinite-state Model Checking (Dagstuhl Seminar 03171)}},
pages = {1--5},
ISSN = {1619-0203},
year = {2003},
type = {Dagstuhl Seminar Report},
number = {376},
institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/15256},
URN = {urn:nbn:de:0030-drops-152564},
doi = {10.4230/DagSemRep.376},
}
|
Seminar: |
|
Dagstuhl Seminar Reports
|
|
Issue date: |
|
2021 |
|
Date of publication: |
|
25.04.2003 |
25.04.2003
