A program logic for resources release_byg7z6m3hngancztkhowx4agru

by David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano

Published in Theoretical Computer Science by Elsevier BV.

2007   Volume 389, p411-445

Archived Files and Locations

application/pdf  726.8 kB
file_lzyixxxibnbmpcyzju6x53goda
www.research.ed.ac.uk (web)
web.archive.org (webarchive)
application/pdf  776.3 kB
file_v3rhy53kz5cjlcb57i2l6yjxzm
www.research.ed.ac.uk (web)
web.archive.org (webarchive)
application/pdf  776.3 kB
file_foigoovohbhhlfmjxd3st7g4wy
web.archive.org (webarchive)
www.pure.ed.ac.uk (web)
application/pdf  313.1 kB
file_nxrywex5mbhixfj7brlts2uexq
web.archive.org (webarchive)
homepages.inf.ed.ac.uk:80 (web)
application/pdf  336.8 kB
file_wo2a7566f5bvbkwt7y2xzunxh4
web.archive.org (webarchive)
www.tcs.informatik.uni-muenchen.de (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
groups.inf.ed.ac.uk (web)
+ 1 more URLs
application/pdf  625.0 kB
file_6aq5lfqhz5clpfo5jvbb2rylsm
web.archive.org (webarchive)
publisher-connector.core.ac.uk (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2007
Language   en ?
Container Metadata
Open Access Publication
Not in DOAJ
In Keepers Registry
ISSN-L:  0304-3975
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 8d19b374-86ce-4462-9375-769beaa5fd6c
API URL: JSON