|
@inproceedings{, author = {Timon Gehr and Sasa Misailovic and Petar Tsankov and Laurent Vanbever and Pascal Wiesman and Martin Vechev}, title = {Bayonet: Probabilistic Inference for Networks}, address = {Philadelphia, PA, USA}, booktitle = {PLDI 2018}, month = {Jun}, year = {2018} }