BibTeX
CSL-JSON
MLA
Harvard
Automated model analysis tools and techniques presented at FASE 2019
release_6pme5b2xpjesbe3maijl7hn5me
by
Reiner Hähnle, Wil van der Aalst
Published
in International Journal on Software Tools for Technology Transfer (STTT) by Springer Science and Business Media LLC.
2020
Abstract
<jats:title>Abstract</jats:title>
This special issue contains substantially revised and extended versions of some of the best papers presented at the 22nd International Conference on Fundamental Approaches to Software Engineering in 2019. All papers share the common theme that they are either concerned with model-based analysis of systems or they develop methods in its service.
In application/xml+jats
format
Archived Files and Locations
application/pdf 176.7 kB
file_dk5jqcjmefdjbiphl4o6p2mmxe
|
link.springer.com (publisher) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
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