@article{article, title = {{On probabilistic Kleene algebras, automata and simulations}},
url = {{}},
year = {{2011}},
month = {{1}},
author = {{McIver A and Rabehaja TM and Struth G}},
doi = {{10.1007/978-3-642-21070-9_20}},
volume = {{6663 LNCS}},
journal = {{Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}},
pages = {{264-279}},
note = {{Accessed on 2025/07/25}}}