Additional Metadata
THEME Software (theme 1)
Publisher Elsevier
Journal Electronic Notes in Theoretical Computer Science
Citation
Silva, A.M, & Sokolova, A. (2011). Sound and complete axiomatization of trace semantics for probabilistic systems. Electronic Notes in Theoretical Computer Science , 276, 291–311.