Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev
Bayonet: probabilistic inference for networks
PLDI, 2018.
@inproceedings{PLDI-2018-GehrMTVWV,
author = "Timon Gehr and Sasa Misailovic and Petar Tsankov and Laurent Vanbever and Pascal Wiesmann and Martin T. Vechev",
booktitle = "{Proceedings of the 39th Conference on Programming Language Design and Implementation}",
doi = "10.1145/3192366.3192400",
pages = "586--602",
publisher = "{ACM}",
title = "{Bayonet: probabilistic inference for networks}",
year = 2018,
}