|
Authors: | Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesman, Martin Vechev |
Group: | Networked Systems |
Type: | Inproceedings |
Title: | Bayonet: Probabilistic Inference for Networks |
Year: | 2018 |
Month: | June |
Book Titel: | PLDI 2018 |
Location: | Philadelphia, PA, USA |
Resources: | [BibTeX] [Paper as PDF] |