%0 Journal Article %1 journals/artmed/AlmanMMPR23 %A Alman, Anti %A Maggi, Fabrizio Maria %A Montali, Marco %A Patrizi, Fabio %A Rivkin, Andrey %D 2023 %J Artif. Intell. Medicine %K dblp %P 102512 %T Monitoring hybrid process specifications with conflict management: An automata-theoretic approach. %U http://dblp.uni-trier.de/db/journals/artmed/artmed139.html#AlmanMMPR23 %V 139

@article{journals/artmed/AlmanMMPR23, added-at = {2023-11-12T00:00:00.000+0100}, author = {Alman, Anti and Maggi, Fabrizio Maria and Montali, Marco and Patrizi, Fabio and Rivkin, Andrey}, biburl = {https://www.bibsonomy.org/bibtex/270930beb91382de99a2b87d3ab42a8e0/dblp}, ee = {https://doi.org/10.1016/j.artmed.2023.102512}, interhash = {8e77f83f668fdff1a7bb3b37ca48d628}, intrahash = {70930beb91382de99a2b87d3ab42a8e0}, journal = {Artif. Intell. Medicine}, keywords = {dblp}, month = May, pages = 102512, timestamp = {2024-04-08T17:25:11.000+0200}, title = {Monitoring hybrid process specifications with conflict management: An automata-theoretic approach.}, url = {http://dblp.uni-trier.de/db/journals/artmed/artmed139.html#AlmanMMPR23}, volume = 139, year = 2023 }