BibTeX
CSL-JSON
MLA
Harvard
Exact finite-state machine identification from scenarios and temporal properties
release_ne7vicgd65cifprr6uw6d4t6gy
by
Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto
Published
in International Journal on Software Tools for Technology Transfer (STTT) by Springer Nature.
2016 Volume 20, p35-55
Archived Files and Locations
application/pdf 787.4 kB
file_77ljugwbwbdqlbuocqjvnxgn5i
|
research.aalto.fi (web) 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