Transfer Function Synthesis without Quantifier Elimination release_spbresxlsfazhlmuf3hpi4iike

by Jörg Brauer, Andy King

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

2011   p97-115

Archived Files and Locations

application/pdf  553.0 kB
file_rjtarxfvynbsllwohhkleqf734
kar.kent.ac.uk (web)
web.archive.org (webarchive)
application/pdf  409.4 kB
file_qtm46zpufjfb3lr5hxnslkelsm
embedded.rwth-aachen.de (web)
web.archive.org (webarchive)
application/pdf  412.9 kB
file_lcjgg4bnmvbpjmvl66ytbed7t4
web.archive.org (webarchive)
lmcs.episciences.org (web)
application/pdf  553.0 kB
file_gei6ygjnjjakfaql3xbh4z7acu
kar.kent.ac.uk (web)
web.archive.org (webarchive)
application/pdf  249.4 kB
file_cdsctyj6lvanveatqqsgwgrk6u
web.archive.org (webarchive)
kar.kent.ac.uk (web)
application/pdf  249.4 kB
file_ffzvdcpeavcu3i35g37l5gooum
web.archive.org (webarchive)
kar.kent.ac.uk (web)
application/pdf  563.5 kB
file_a55vzkw4yjce7crunsjakutzdu
web.archive.org (webarchive)
embedded.rwth-aachen.de (web)
application/pdf  245.5 kB
file_yvksyd54svexphtgxgzhstm37y
web.archive.org (webarchive)
core.ac.uk (web)
web.archive.org (webarchive)
www.cs.kent.ac.uk (web)
application/pdf  295.2 kB
file_3sjtwehunnamngv7w5zvurheny
web.archive.org (webarchive)
link.springer.com (publisher)
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: 6270f585-9167-42e0-99cb-175380d4ff60
API URL: JSON