Buffered Simulation for Büchi Automata
| Autor: | Hutagalung, Milka |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: | |
| DOI: | 10.17170/kobra-20191014716 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
| Autor: | Hutagalung, Milka |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: | |
| DOI: | 10.17170/kobra-20191014716 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|