1
TITLE: Probabilistic NetKAT
AUTHORS: Nate Foster; Dexter Kozen; Konstantinos Mamouras; Mark Reitblatt; Alexandra Silva ;
PUBLISHED: 2016, SOURCE: Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, VOLUME: 9632
INDEXED IN: DBLP CrossRef: 26