Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva 0001
Probabilistic NetKAT
ESOP, 2016.
@inproceedings{ESOP-2016-FosterKMR0,
author = "Nate Foster and Dexter Kozen and Konstantinos Mamouras and Mark Reitblatt and Alexandra Silva 0001",
booktitle = "{Proceedings of the 25th European Symposium on Programming}",
doi = "10.1007/978-3-662-49498-1_12",
isbn = "978-3-662-49497-4",
pages = "282--309",
publisher = "{Springer}",
title = "{Probabilistic NetKAT}",
year = 2016,
}