%0 Conference Paper %1 conf/rv/KauffmanHF19 %A Kauffman, Sean %A Havelund, Klaus %A Fischmeister, Sebastian %B RV %D 2019 %E Finkbeiner, Bernd %E Mariani, Leonardo %I Springer %K dblp %P 256-272 %T Monitorability over Unreliable Channels. %U http://dblp.uni-trier.de/db/conf/rv/rv2019.html#KauffmanHF19 %V 11757 %@ 978-3-030-32079-9

@inproceedings{conf/rv/KauffmanHF19, added-at = {2021-10-14T00:00:00.000+0200}, author = {Kauffman, Sean and Havelund, Klaus and Fischmeister, Sebastian}, biburl = {https://www.bibsonomy.org/bibtex/204d4017fc05d48a812223712377a64ba/dblp}, booktitle = {RV}, crossref = {conf/rv/2019}, editor = {Finkbeiner, Bernd and Mariani, Leonardo}, ee = {https://doi.org/10.1007/978-3-030-32079-9_15}, interhash = {8448eca630030769036a28455e50b981}, intrahash = {04d4017fc05d48a812223712377a64ba}, isbn = {978-3-030-32079-9}, keywords = {dblp}, pages = {256-272}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T08:27:45.000+0200}, title = {Monitorability over Unreliable Channels.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2019.html#KauffmanHF19}, volume = 11757, year = 2019 }