@unpublished{bouyer_hal-05551849,
    title = {{Verification of timed systems}},
    author = {Bouyer, Patricia},
    url = {https://hal.science/hal-05551849},
    note = {Lecture},
    type = {Master},
    address = {Paris, France},
    pages = {90},
    year = {2026},
    month = {jan},
    keywords = {Verification ; formal methods ; timed systems},
    pdf = {https://hal.science/hal-05551849v1/file/mpri-lecture-notes.pdf},
    hal_id = {hal-05551849},
    hal_version = {v1},
    date-added = {2026-3-31 10:12:0 +0100}
}

@unpublished{bouyer_hal-05551849, title = {{Verification of timed systems}}, author = {Bouyer, Patricia}, url = {https://hal.science/hal-05551849}, note = {Lecture}, type = {Master}, address = {Paris, France}, pages = {90}, year = {2026}, month = {jan}, keywords = {Verification ; formal methods ; timed systems}, pdf = {https://hal.science/hal-05551849v1/file/mpri-lecture-notes.pdf}, hal_id = {hal-05551849}, hal_version = {v1}, date-added = {2026-3-31 10:12:0 +0100} }