Ocan Sankur. Contributions on Formal Methods for Timed and Probabilistic Systems. 2023. [doi]
@book{Sankur23-0, title = {Contributions on Formal Methods for Timed and Probabilistic Systems}, author = {Ocan Sankur}, year = {2023}, url = {https://tel.archives-ouvertes.fr/tel-04310389}, researchr = {https://researchr.org/publication/Sankur23-0}, cites = {0}, citedby = {0}, }