Login / Signup

Deciding Bisimilarities on Distributions.

Christian EisentrautHolger HermannsJulia KrämerAndrea TurriniLijun Zhang
Published in: QEST (2013)
Keyphrases