Chocholatý, D., Havlena, V., Holík, L., Síč, J., & Šedý, M. (2026). String Solving with Stabilization and Transducers (Technical Report).
Style de citation Chicago (17e éd.)Chocholatý, David, Vojtěch Havlena, Lukáš Holík, Juraj Síč, et Michal Šedý. String Solving with Stabilization and Transducers (Technical Report). 2026.
Style de citation MLA (9e éd.)Chocholatý, David, et al. String Solving with Stabilization and Transducers (Technical Report). 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.