@phdthesis{sankur_tel-04310389,
    title = {{Contributions on Formal Methods for Timed and Probabilistic Systems}},
    author = {Sankur, Ocan},
    url = {https://hal.science/tel-04310389},
    school = {{Universit{\'e} de Rennes}},
    year = {2023},
    month = {nov},
    keywords = {formal methods ; m{\'e}thodes formelles},
    type = {Habilitation {\`a} diriger des recherches},
    pdf = {https://hal.science/tel-04310389/file/main.pdf},
    hal_id = {tel-04310389},
    hal_version = {v1},
    date-added = {2023-12-2 17:47:3 +0100}
}

@phdthesis{sankur_tel-04310389, title = {{Contributions on Formal Methods for Timed and Probabilistic Systems}}, author = {Sankur, Ocan}, url = {https://hal.science/tel-04310389}, school = {{Universit{\'e} de Rennes}}, year = {2023}, month = {nov}, keywords = {formal methods ; m{\'e}thodes formelles}, type = {Habilitation {`a} diriger des recherches}, pdf = {https://hal.science/tel-04310389/file/main.pdf}, hal_id = {tel-04310389}, hal_version = {v1}, date-added = {2023-12-2 17:47:3 +0100} }