@article{Laroussinie_2006,
    title = {Efficient timed model checking for discrete-time systems},
    volume = {353},
    issn = {0304-3975},
    url = {http://dx.doi.org/10.1016/j.tcs.2005.11.020},
    doi = {10.1016/j.tcs.2005.11.020},
    number = {1–3},
    journal = {Theoretical Computer Science},
    publisher = {Elsevier BV},
    author = {Laroussinie, F. and Markey, N. and Schnoebelen, Ph.},
    year = {2006},
    month = {mar},
    pages = {249–271},
    date-added = {2023-11-25 9:27:50 +0100}
}

@article{Laroussinie_2006, title = {Efficient timed model checking for discrete-time systems}, volume = {353}, issn = {0304-3975}, url = {http://dx.doi.org/10.1016/j.tcs.2005.11.020}, doi = {10.1016/j.tcs.2005.11.020}, number = {1–3}, journal = {Theoretical Computer Science}, publisher = {Elsevier BV}, author = {Laroussinie, F. and Markey, N. and Schnoebelen, Ph.}, year = {2006}, month = {mar}, pages = {249–271}, date-added = {2023-11-25 9:27:50 +0100} }