Temporal determinization of mutating finite automata: Reconstructing or restructuring
Autor: | Gianfranco Lamperti |
---|---|
Rok vydání: | 2019 |
Předmět: | |
Zdroj: | Software: Practice and Experience. 50:335-367 |
ISSN: | 1097-024X 0038-0644 |
DOI: | 10.1002/spe.2776 |
Databáze: | OpenAIRE |
Externí odkaz: |