Alexandra Silva, Ana Sokolova. Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems. Electronic Notes in Theoretical Computer Science, 276:291-311, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.