B | |
---|---|
[BL21] | Udi Boker et Karoliina Lehtinen. History Determinism vs. Good for Gameness in Quantitative Automata. In FSTTCS'21, Leibniz International Proceedings in Informatics 213, pages 38:1-38:20. Leibniz-Zentrum für Informatik, décembre 2021. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1