Deciding Probabilistic Program Equivalence in NetKAT

Steffen Smolka
Steffen Smolka
David Kahn
David Kahn
Alexandra Silva
Alexandra Silva

CoRR, Volume abs/1707.02772, 2017.

Cited by: 1|Bibtex|Views8
EI
Other Links: dblp.uni-trier.de

Code:

Data:

Your rating :
0

 

Tags
Comments