 |
|
|||
| 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] |
