BibTeX
CSL-JSON
MLA
Harvard
The ASTREÉ Analyzer
release_6ku3gny34bemtd7fmksc4ig26e
by
Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
Archived Files and Locations
application/pdf 1.2 MB
file_ry5ct7qy7fctlm7gr45jiagug4
|
web.archive.org (webarchive) www.di.ens.fr (web) web.archive.org (webarchive) |
application/pdf 1.2 MB
file_3jdhheocyzgfxjgvwk7agkvwnu
|
web.archive.org (webarchive) www-apr.lip6.fr (web) |
application/pdf 267.2 kB
file_vywa6mctifccjeo23oymu3tt6y
|
web.archive.org (webarchive) web.archive.org (webarchive) web.archive.org (webarchive) www.di.ens.fr (web) web.archive.org (webarchive) + 5 more URLs |
application/pdf 411.4 kB
file_julcfdjsargvfkitqug6ocw6wu
|
web.archive.org (webarchive) link.springer.com (publisher) |
Read Archived PDF
Preserved and Accessible
Type
Stage
Year 2005
chapter
Stage
published
Year 2005
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