Three-valued abstraction for probabilistic systems - Concepedia

Concepedia

Publication | Closed Access

Three-valued abstraction for probabilistic systems

45

Citations

26

References

2012

Year

Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf

The Journal of Logic and Algebraic Programming

EngineeringAutomated ReasoningThree-valued AbstractionProbabilistic SystemFormal MethodsProbabilistic ComputationProbability TheoryComputer ScienceProbabilistic ProgrammingFormal Verification

References

	Year	Citations

Page 1