BibTeX
CSL-JSON
MLA
Harvard
OPEN/CÆSAR: An open software architecture for verification, simulation, and testing
release_xk3xknnglvgb5gtd5cuj5zedfu
by
Hubert Garavel
Archived Files and Locations
application/pdf 669.5 kB
file_ezgxz7a3lfgyjnxktyupmlh25a
|
hal.inria.fr (repository) web.archive.org (webarchive) |
application/pdf 511.5 kB
file_u5x6duye4veunkzbbjwnriz2ry
|
hal.inria.fr (repository) web.archive.org (webarchive) |
application/pdf 1.1 MB
file_otosduulmrakrdtbgnj2sns2oq
|
web.archive.org (webarchive) link.springer.com (publisher) |
Read Archived PDF
Preserved and Accessible
Type
Stage
Year 1998
chapter
Stage
published
Year 1998
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar