readme: tacas reference

VeriFIT · Jul 31, 2024 · d2aa457 · d2aa457
1 parent 2756940
commit d2aa457
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -216,7 +216,7 @@ The usage of the binding copies (to certain levels) the usage of the C++ library
 You can either run your scripts directly using `python` or compile it using the `cython` project.
 
 # Publications
-- Chocholatý, D., Fiedor, T., Havlena, V., Holík, L., Hruška, M., Lengál, O., & Síč, J. (2023). [Mata, a Fast and Simple Finite Automata Library](https://doi.org/10.48550/arXiv.2310.10136). arXiv preprint arXiv:2310.10136.
+- Chocholatý, D., Fiedor, T., Havlena, V., Holík, L., Hruška, M., Lengál, O., & Síč, J. (2023). [Mata, a Fast and Simple Finite Automata Library](https://doi.org/10.1007/978-3-031-57249-4_7). In *Proc. of TACAS'24*, volume 14571 of LNCS, pages 130-151, 2024. Springer.
     - Chocholatý, D., Fiedor, T., Havlena, V., Holík, L., Hruška, M., Lengál, O., Síč, J.: [A replication package for reproducing the results of paper “Mata: A fast and simple finite automata library”](https://doi.org/10.5281/zenodo.10044515) (Oct 2023).
 
 # Contributing