@inbook{Sproston_2024,
    title = {Clock-Dependent Probabilistic Timed Automata with One Clock and No Memory},
    isbn = {9789819606177},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-981-96-0617-7_5},
    doi = {10.1007/978-981-96-0617-7_5},
    booktitle = {Formal Methods and Software Engineering},
    publisher = {Springer Nature Singapore},
    author = {Sproston, Jeremy},
    year = {2024},
    pages = {70–84},
    date-added = {2024-12-10 19:57:32 +0100}
}

@inbook{Sproston_2024, title = {Clock-Dependent Probabilistic Timed Automata with One Clock and No Memory}, isbn = {9789819606177}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-981-96-0617-7_5}, doi = {10.1007/978-981-96-0617-7_5}, booktitle = {Formal Methods and Software Engineering}, publisher = {Springer Nature Singapore}, author = {Sproston, Jeremy}, year = {2024}, pages = {70–84}, date-added = {2024-12-10 19:57:32 +0100} }