Gehr, Timon, Misailovic, Sasa, Tsankov, Petar, Vanbever, Laurent, Wiesmann, Pascal, and Vechev, Martin. Bayonet: probabilistic inference for networks. PLDI 2018 Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation . Web. doi:10.1145/3192366.3192400.

Gehr, Timon, Misailovic, Sasa, Tsankov, Petar, Vanbever, Laurent, Wiesmann, Pascal, & Vechev, Martin. Bayonet: probabilistic inference for networks. PLDI 2018 Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, (). https://doi.org/10.1145/3192366.3192400

Gehr, Timon, Misailovic, Sasa, Tsankov, Petar, Vanbever, Laurent, Wiesmann, Pascal, and Vechev, Martin. "Bayonet: probabilistic inference for networks". PLDI 2018 Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (). Country unknown/Code not available. https://doi.org/10.1145/3192366.3192400. https://par.nsf.gov/biblio/10067173.

@article{osti_10067173,
place = {Country unknown/Code not available}, title = {Bayonet: probabilistic inference for networks}, url = {https://par.nsf.gov/biblio/10067173}, DOI = {10.1145/3192366.3192400}, abstractNote = {}, journal = {PLDI 2018 Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation}, author = {Gehr, Timon and Misailovic, Sasa and Tsankov, Petar and Vanbever, Laurent and Wiesmann, Pascal and Vechev, Martin}, }