%0 Conference Paper %1 conf/birthday/LossinCEGP25 %A Lossin, Benno %A Czerner, Philipp %A Esparza, Javier %A Guttenberg, Roland %A Prehn, Tobias %B Principles of Verification (3) %D 2024 %E Jansen, Nils %E Junges, Sebastian %E Kaminski, Benjamin Lucien %E Matheja, Christoph %E Noll, Thomas %E Quatmann, Tim %E Stoelinga, Mariëlle %E Volk, Matthias %I Springer %K dblp %P 206-233 %T The Black Ninjas and the Sniper: On Robust Population Protocols. %U http://dblp.uni-trier.de/db/conf/birthday/katoen2025-3.html#LossinCEGP25 %V 15262 %@ 978-3-031-75778-5

@inproceedings{conf/birthday/LossinCEGP25, added-at = {2025-01-27T00:00:00.000+0100}, author = {Lossin, Benno and Czerner, Philipp and Esparza, Javier and Guttenberg, Roland and Prehn, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/284ed3861bfd9863023d202ca40828404/dblp}, booktitle = {Principles of Verification (3)}, crossref = {conf/birthday/2025katoen-3}, editor = {Jansen, Nils and Junges, Sebastian and Kaminski, Benjamin Lucien and Matheja, Christoph and Noll, Thomas and Quatmann, Tim and Stoelinga, Mariëlle and Volk, Matthias}, ee = {https://doi.org/10.1007/978-3-031-75778-5_10}, interhash = {c4495c0c6027070489b4bc7cc5a0ff8a}, intrahash = {84ed3861bfd9863023d202ca40828404}, isbn = {978-3-031-75778-5}, keywords = {dblp}, pages = {206-233}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2025-02-03T07:15:00.000+0100}, title = {The Black Ninjas and the Sniper: On Robust Population Protocols.}, url = {http://dblp.uni-trier.de/db/conf/birthday/katoen2025-3.html#LossinCEGP25}, volume = 15262, year = 2024 }