@inproceedings{Gladisch10foveoos,
author = {Christoph Gladisch},
title = {Satisfiability Solving and Model Generation for Quantified
First-Order Logic Formulas},
year = {2010},
pages = {76-91},
doi = {10.1007/978-3-642-18070-5_6},
editor = {Bernhard Beckert and
Claude March{\'e}},
booktitle = {International Conference on Formal Verification of Object-Oriented
Software (FoVeOOS 2010), Revised Selected Papers},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6528}
}
Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas
| Autor(en): | Christoph Gladisch |
|---|---|
| In: | International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010), Revised Selected Papers |
| Verleger: | Springer |
| Reihe: | Lecture Notes in Computer Science |
| Band: | 6528 |
| Jahr: | 2010 |
| Seiten: | 76-91 |
| DOI: | 10.1007/978-3-642-18070-5_6 |