Title
Parameter Synthesis for Probabilistic Systems.
Year
DOI
Venue
2016
10.6094/UNIFR/10639
MBMV
Field
DocType
Citations 
Data mining,Public records,Information retrieval,Computer science,Probabilistic logic
Conference
0
PageRank 
References 
Authors
0.34
0
8