Add TACAS paper

Author: kcordwel

_bibliography/papers.bib

@@ -2,6 +2,31 @@ @Comment{
 ebib-main-file: /home/alex/Dropbox/HubersPhD/bibliography/ann-bib.bib
 }
 
+@inproceedings{DBLP:conf/tacas/WangKR25,
+  author       = {Zili Wang and
+                  Katherine Kosaian and
+                  Kristin Yvonne Rozier},
+  editor       = {Arie Gurfinkel and
+                  Marijn Heule},
+  title        = {Formally Verifying a Transformation from {MLTL} Formulas to Regular
+                  Expressions},
+  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
+                  - 31st International Conference, {TACAS} 2025, Held as Part of the
+                  International Joint Conferences on Theory and Practice of Software,
+                  {ETAPS} 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part
+                  {I}},
+  series       = {Lecture Notes in Computer Science},
+  volume       = {15696},
+  pages        = {254--275},
+  publisher    = {Springer},
+  year         = {2025},
+  url          = {https://doi.org/10.1007/978-3-031-90643-5\_13},
+  doi          = {10.1007/978-3-031-90643-5\_13},
+  timestamp    = {Mon, 19 May 2025 15:56:30 +0200},
+  biburl       = {https://dblp.org/rec/conf/tacas/WangKR25.bib},
+  bibsource    = {dblp computer science bibliography, https://dblp.org}
+}
+
 
 @InProceedings{BinderCICM24,
 author="Binder, Sage