B | |
---|---|
[BL22] | Udi Boker et Karoliina Lehtinen. Token Games and History-Deterministic Quantitative Automata. In FoSSaCS'22, Lecture Notes in Computer Science 13242, pages 120-139. Springer-Verlag, avril 2022. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1