![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
BibTeX record conf/bpm/ChiarielloPM23
@inproceedings{DBLP:conf/bpm/ChiarielloPM23, author = {Francesco Chiariello and Fabrizio Maria Maggi and Fabio Patrizi}, editor = {Dirk Fahland and Andr{\'{e}}s Jim{\'{e}}nez{-}Ram{\'{\i}}rez and Akhil Kumar and Jan Mendling and Brian T. Pentland and Stefanie Rinderle{-}Ma and Tijs Slaats and Johan Versendaal and Barbara Weber and Mathias Weske and Karolin Winter}, title = {From {LTL} on Process Traces to Finite-state Automata}, booktitle = {Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration {\&} Resources Forum at {BPM} 2023 co-located with 21st International Conference on Business Process Management {(BPM} 2023), Utrecht, The Netherlands, September 11th to 15th, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3469}, pages = {127--131}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3469/paper-23.pdf}, timestamp = {Wed, 06 Sep 2023 08:40:08 +0200}, biburl = {https://dblp.org/rec/conf/bpm/ChiarielloPM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.