Minimizing Deterministic Timed Finite State Machines
| Autor: | Bresolin, Davide, Tvardovskii, Aleksandr, Yevtushenko, Nina, Villa, Tiziano, Gromov, Maxim |
|---|---|
| Zdroj: | In IFAC PapersOnLine 2018 51(7):486-492 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Bresolin, Davide, Tvardovskii, Aleksandr, Yevtushenko, Nina, Villa, Tiziano, Gromov, Maxim |
|---|---|
| Zdroj: | In IFAC PapersOnLine 2018 51(7):486-492 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|