BibTeX
CSL-JSON
MLA
Harvard
Formal Analysis of Log Files
release_y5gj6s5xnncvdbaepgjndg6aum
by
Howard Barringer, Alex Groce, Klaus Havelund, Margaret Smith
Published
in Journal of Aerospace Computing Information and Communication by American Institute of Aeronautics and Astronautics (AIAA).
2010 Issue 11, p365-390
Archived Files and Locations
application/pdf 712.0 kB
file_pefjjk3vvjg7hifa55pacoftm4
|
web.archive.org (webarchive) havelund.com (web) web.archive.org (webarchive) www.havelund.com (web) |
Read Archived PDF
Preserved and Accessible
DOI
10.2514/1.49356
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