Resource-Adaptive Model Generation as a Performance Model release_izdhadn765garkgtm3yrvxwuje

by M. Kohlhase

Published in Logic Journal of the IGPL by Oxford University Press (OUP).

2003   Volume 11, p435-456

Archived Files and Locations

application/pdf  234.2 kB
file_r27nrnlh3vgotjnoh6lqhrtj6m
web.archive.org (webarchive)
web.archive.org (webarchive)
www3.oup.co.uk:80 (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2003-07-01
Language   en ?
Journal Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  1367-0751
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: f2ed6702-d4f8-4dcb-b4f7-3f313d825aa9
API URL: JSON