@inbook{Lossin_2024,
    title = {The Black Ninjas and the Sniper: On Robust Population Protocols},
    isbn = {9783031757785},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-031-75778-5_10},
    doi = {10.1007/978-3-031-75778-5_10},
    booktitle = {Principles of Verification: Cycling the Probabilistic Landscape},
    publisher = {Springer Nature Switzerland},
    author = {Lossin, Benno and Czerner, Philipp and Esparza, Javier and Guttenberg, Roland and Prehn, Tobias},
    year = {2024},
    month = {nov},
    pages = {206–233},
    date-added = {2024-11-25 14:45:21 +0100}
}

@inbook{Lossin_2024, title = {The Black Ninjas and the Sniper: On Robust Population Protocols}, isbn = {9783031757785}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-031-75778-5_10}, doi = {10.1007/978-3-031-75778-5_10}, booktitle = {Principles of Verification: Cycling the Probabilistic Landscape}, publisher = {Springer Nature Switzerland}, author = {Lossin, Benno and Czerner, Philipp and Esparza, Javier and Guttenberg, Roland and Prehn, Tobias}, year = {2024}, month = {nov}, pages = {206–233}, date-added = {2024-11-25 14:45:21 +0100} }