%0 Conference Paper %1 conf/rv/ValapilYKTD17 %A Valapil, Vidhya Tekken %A Yingchareonthawornchai, Sorrachai %A Kulkarni, Sandeep S. %A Torng, Eric %A Demirbas, Murat %B RV %D 2017 %E Lahiri, Shuvendu K. %E Reger, Giles %I Springer %K dblp %P 277-293 %T Monitoring Partially Synchronous Distributed Systems Using SMT Solvers. %U http://dblp.uni-trier.de/db/conf/rv/rv2017.html#ValapilYKTD17 %V 10548 %@ 978-3-319-67531-2

@inproceedings{conf/rv/ValapilYKTD17, added-at = {2017-09-06T00:00:00.000+0200}, author = {Valapil, Vidhya Tekken and Yingchareonthawornchai, Sorrachai and Kulkarni, Sandeep S. and Torng, Eric and Demirbas, Murat}, biburl = {https://www.bibsonomy.org/bibtex/2e496e1c68510867bcd999d912c6ea7ae/dblp}, booktitle = {RV}, crossref = {conf/rv/2017}, editor = {Lahiri, Shuvendu K. and Reger, Giles}, ee = {https://doi.org/10.1007/978-3-319-67531-2_17}, interhash = {d80fc8d26bfb3eddc1f34abf14012ce9}, intrahash = {e496e1c68510867bcd999d912c6ea7ae}, isbn = {978-3-319-67531-2}, keywords = {dblp}, pages = {277-293}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:15:25.000+0200}, title = {Monitoring Partially Synchronous Distributed Systems Using SMT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2017.html#ValapilYKTD17}, volume = 10548, year = 2017 }