|
Authors: | Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev |
Group: | Networked Systems |
Type: | Inproceedings |
Title: | Network-wide Configuration Synthesis |
Year: | 2017 |
Month: | July |
Book Titel: | Computer Aided Verification |
Publisher: | Springer |
Location: | Heidelberg, Germany |
Resources: | [BibTeX] [ External LINK ] [Paper as PDF] |