Virtual Substitution for SMT-Solving release_66peapiggrfwbesvb53uekibl4

by Florian Corzilius, Erika Ábrahám

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2011   p360-371

Archived Files and Locations

application/pdf  335.0 kB
file_lrc422qkcfgbdevukxixspqmwq
www-i2.informatik.rwth-aachen.de (web)
web.archive.org (webarchive)
application/pdf  332.9 kB
file_hhz7hgeug5hurlbpaovxfenyze
www-i2.informatik.rwth-aachen.de (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2011
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 7f39485e-1da5-423a-bc99-807d7f52b35f
API URL: JSON