Media type: Report; E-Book; E-Article; Text Title: Deduction and Infinite-state Model Checking (Dagstuhl Seminar 03171) Contributor: Kapur, Deepak [Author]; Podelski, Andreas [Author]; Voronkov, Andrei [Author] imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2003 Language: English DOI: https://doi.org/10.4230/DagSemRep.376 Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access