%0 Conference Paper %1 conf/ifm/AronisFS17 %A Aronis, Stavros %A Fritchie, Scott Lystig %A Sagonas, Konstantinos %B IFM %D 2017 %E Polikarpova, Nadia %E Schneider, Steve A. %I Springer %K dblp %P 227-242 %T Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2017.html#AronisFS17 %V 10510 %@ 978-3-319-66845-1

@inproceedings{conf/ifm/AronisFS17, added-at = {2019-09-25T00:00:00.000+0200}, author = {Aronis, Stavros and Fritchie, Scott Lystig and Sagonas, Konstantinos}, biburl = {https://www.bibsonomy.org/bibtex/21ab90970da91cb27b98cf2e0b21a8fce/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2017}, editor = {Polikarpova, Nadia and Schneider, Steve A.}, ee = {https://doi.org/10.1007/978-3-319-66845-1_15}, interhash = {c2765a6ca4a4f89629998b9d7e80bc5b}, intrahash = {1ab90970da91cb27b98cf2e0b21a8fce}, isbn = {978-3-319-66845-1}, keywords = {dblp}, pages = {227-242}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-08-08T11:44:14.000+0200}, title = {Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2017.html#AronisFS17}, volume = 10510, year = 2017 }