Model Checking RAISE Applicative Specifications release_a2iu76cdo5e4lhpe4l2qfppvvu

by Juan Ignacio Perna, Chris George

Archived Files and Locations

application/pdf  381.4 kB
file_hfewghs5qzcfvcwqgsnyxpqrte
sedici.unlp.edu.ar (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2007
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: a391f07f-2083-49dc-8e50-39651cf0d90c
API URL: JSON