%0 Journal Article %1 journals/fi/MangiSZ23 %A Mangi, Fawad Ali %A Su, Guoxin %A Zhang, Minjie %D 2023 %J Future Internet %K dblp %N 12 %P 378 %T Statistical Model Checking in Process Mining: A Comprehensive Approach to Analyse Stochastic Processes. %U http://dblp.uni-trier.de/db/journals/fi/fi15.html#MangiSZ23 %V 15

@article{journals/fi/MangiSZ23, added-at = {2024-01-13T00:00:00.000+0100}, author = {Mangi, Fawad Ali and Su, Guoxin and Zhang, Minjie}, biburl = {https://www.bibsonomy.org/bibtex/2001b77a3381b8f22ac59068cfe03e439/dblp}, ee = {https://doi.org/10.3390/fi15120378}, interhash = {64b41ba3a99dbf286dd638e14d146805}, intrahash = {001b77a3381b8f22ac59068cfe03e439}, journal = {Future Internet}, keywords = {dblp}, number = 12, pages = 378, timestamp = {2024-04-08T11:27:50.000+0200}, title = {Statistical Model Checking in Process Mining: A Comprehensive Approach to Analyse Stochastic Processes.}, url = {http://dblp.uni-trier.de/db/journals/fi/fi15.html#MangiSZ23}, volume = 15, year = 2023 }