@inbook{Zhang_2011,
    title = {Automata-Based CSL Model Checking},
    isbn = {9783642220128},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-642-22012-8_21},
    doi = {10.1007/978-3-642-22012-8_21},
    booktitle = {Automata, Languages and Programming},
    publisher = {Springer Berlin Heidelberg},
    author = {Zhang, Lijun and Jansen, David N. and Nielson, Flemming and Hermanns, Holger},
    year = {2011},
    pages = {271–282},
    date-added = {2026-3-10 8:25:10 +0100}
}

@inbook{Zhang_2011, title = {Automata-Based CSL Model Checking}, isbn = {9783642220128}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-642-22012-8_21}, doi = {10.1007/978-3-642-22012-8_21}, booktitle = {Automata, Languages and Programming}, publisher = {Springer Berlin Heidelberg}, author = {Zhang, Lijun and Jansen, David N. and Nielson, Flemming and Hermanns, Holger}, year = {2011}, pages = {271–282}, date-added = {2026-3-10 8:25:10 +0100} }