%0 Conference Paper %1 conf/issta/El-HokayemF17a %A El-Hokayem, Antoine %A Falcone, Yliès %B ISSTA %D 2017 %E Bultan, Tevfik %E Sen, Koushik %I ACM %K dblp %P 372-375 %T THEMIS: a tool for decentralized monitoring algorithms. %U http://dblp.uni-trier.de/db/conf/issta/issta2017.html#El-HokayemF17a %@ 978-1-4503-5076-1

@inproceedings{conf/issta/El-HokayemF17a, added-at = {2018-11-06T00:00:00.000+0100}, author = {El-Hokayem, Antoine and Falcone, Yliès}, biburl = {https://www.bibsonomy.org/bibtex/268bd9326c9cf2f71953130868564b546/dblp}, booktitle = {ISSTA}, crossref = {conf/issta/2017}, editor = {Bultan, Tevfik and Sen, Koushik}, ee = {https://doi.org/10.1145/3092703.3098224}, interhash = {55d2d437be1a91c4d7fad20862cc6873}, intrahash = {68bd9326c9cf2f71953130868564b546}, isbn = {978-1-4503-5076-1}, keywords = {dblp}, pages = {372-375}, publisher = {ACM}, timestamp = {2018-11-07T13:03:28.000+0100}, title = {THEMIS: a tool for decentralized monitoring algorithms.}, url = {http://dblp.uni-trier.de/db/conf/issta/issta2017.html#El-HokayemF17a}, year = 2017 }