List of Publications in BibTeX Format sorted by "Year"

 
 Back 
 

1 entry found.

---

@inproceedings{,
 author = {Timon Gehr and Sasa Misailovic and Petar Tsankov and Laurent Vanbever and Pascal Wiesman and Martin Vechev},
 title = {Bayonet: Probabilistic Inference for Networks},
 address = {Philadelphia, PA, USA},
 booktitle = {PLDI 2018},
 month = {Jun},
 year = {2018}
}

---

1 entry found.

 
 Back