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
Type  article-journal
Stage   published
Date   2016-11-18
Language   en ?
Journal Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  1433-2779
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 7bc0900e-e22a-4622-bc68-98657e04fa77
API URL: JSON