Bayonet: probabilistic inference for networks
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev
Bayonet: probabilistic inference for networks
PLDI, 2018.

PLDI 2018
Full names Links ISxN
	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,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.