%0 Conference Paper %1 conf/birthday/Schlatte20 %A Schlatte, Rudolf %B The Logic of Software. A Tasting Menu of Formal Methods %D 2022 %E Ahrendt, Wolfgang %E Beckert, Bernhard %E Bubel, Richard %E Johnsen, Einar Broch %I Springer %K dblp %P 437-445 %T A Note on Idleness Detection of Actor Systems. %U http://dblp.uni-trier.de/db/conf/birthday/hahnle2022.html#Schlatte20 %V 13360 %@ 978-3-031-08166-8

@inproceedings{conf/birthday/Schlatte20, added-at = {2022-10-02T00:00:00.000+0200}, author = {Schlatte, Rudolf}, biburl = {https://www.bibsonomy.org/bibtex/241e9368df39233ca56c240f1ad0e3e06/dblp}, booktitle = {The Logic of Software. A Tasting Menu of Formal Methods}, crossref = {conf/birthday/2022hahnle}, editor = {Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Johnsen, Einar Broch}, ee = {https://doi.org/10.1007/978-3-031-08166-8_21}, interhash = {8461c98e0dd552caafaac5cee113138c}, intrahash = {41e9368df39233ca56c240f1ad0e3e06}, isbn = {978-3-031-08166-8}, keywords = {dblp}, pages = {437-445}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:38.000+0200}, title = {A Note on Idleness Detection of Actor Systems.}, url = {http://dblp.uni-trier.de/db/conf/birthday/hahnle2022.html#Schlatte20}, volume = 13360, year = 2022 }