@inproceedings{Katoen_2008,
    title = {Perspectives in Probabilistic Verification},
    url = {http://dx.doi.org/10.1109/tase.2008.44},
    doi = {10.1109/tase.2008.44},
    booktitle = {2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering},
    publisher = {IEEE},
    author = {Katoen, Joost-Pieter},
    year = {2008},
    month = {jun},
    pages = {3–10},
    date-added = {2026-3-10 8:30:34 +0100}
}

@inproceedings{Katoen_2008, title = {Perspectives in Probabilistic Verification}, url = {http://dx.doi.org/10.1109/tase.2008.44}, doi = {10.1109/tase.2008.44}, booktitle = {2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering}, publisher = {IEEE}, author = {Katoen, Joost-Pieter}, year = {2008}, month = {jun}, pages = {3–10}, date-added = {2026-3-10 8:30:34 +0100} }