|
DSpace at RU >
University Library >
Academic bibliography >
| Title: | Efficient Satisfiability Modulo Theories via Delayed Theory Combination |
| Author(s): | Bozzano, Marco
Bruttomesso, Roberto
Cimatti, Alessandro (298565048)
Junttila, Tommi
Ranise, Silvio
Rossum, P.J.B. van (186485735)
Sebastiani, Roberto
Etessami, Kousha
Rajamani, Sriram K. |
| Publication year: | 2005 |
| Document type: | Article in monograph or in proceedings |
| Book title: | Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings |
| ISBN: | 3540272313
9783540272311 |
| Volume: | 3576 |
| Start page: | p. 335 |
| End page: | p. 349 |
| Publisher: | Berlin ; New York : Springer |
| Subject: | Security of Systems |
| Organization: | Security of Systems |
| Appears in Collections: | Academic bibliography
|
|
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2066/32457
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
