Details for the publication HermannsPSWZ11.

Holger Hermanns (), Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang: Probabilistic Logical Characterization. In Inf. Comput. 209(2):154-172, 2011. DOI BIB