From d2aa45710dde65a37a71c6e8796607813a4bcdec Mon Sep 17 00:00:00 2001 From: vhavlena Date: Wed, 31 Jul 2024 11:50:32 +0200 Subject: [PATCH] readme: tacas reference --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 435d62e32..b8040cca2 100644 --- 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