2011-01-01
Sound and complete axiomatization of trace semantics for probabilistic systems
Publication
Publication
Electronic Notes in Theoretical Computer Science
,
Volume 276
p. 291-
311
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.
|