@article{Larsen_2003,
    author = {Kim G. Larsen and Fredrik Larsson and Paul Pettersson and Wang Yi},
    doi = {https://dx.doi.org/10.1023/a:1025132427497},
    url = {https://doi.org/10.1023%2Fa%3A1025132427497},
    year = {2003},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {25},
    number = {2/3},
    pages = {255--275},
    journal = {Real-Time Systems},
    title = {Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems},
    date-modified = {2025-10-13 8:7:50 +0100}
}

@article{Larsen_2003, author = {Kim G. Larsen and Fredrik Larsson and Paul Pettersson and Wang Yi}, doi = {https://dx.doi.org/10.1023/a:1025132427497}, url = {https://doi.org/10.1023%2Fa%3A1025132427497}, year = {2003}, publisher = {Springer Science and Business Media {LLC}}, volume = {25}, number = {2/3}, pages = {255--275}, journal = {Real-Time Systems}, title = {Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems}, date-modified = {2025-10-13 8:7:50 +0100} }