List of Publications in BibTeX Format sorted by "Year"

 
 Back 
 

1 entry found.

---

@inproceedings{,
 author = {Ahmed El-Hassany and Petar Tsankov and Laurent Vanbever and Martin Vechev},
 title = {Network-wide Configuration Synthesis},
 address = {Heidelberg, Germany},
 booktitle = {Computer Aided Verification},
 publisher = {Springer},
 month = {Jul},
 year = {2017}
}

---

1 entry found.

 
 Back