Abstracting an Operational Semantics to Finite Automata.
| Autor: | Baklanova, Nadezhda, Ricciotti, Wilmer, Smaus, Jan-Georg, Strecker, Martin |
|---|---|
| Zdroj: | Information & Communication Technologies in Education, Research & Industrial Applications: 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers; 2016, p109-123, 15p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|