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