Comparative branching-time semantics for Markov chains - Concepedia

Concepedia

Publication | Open Access

Comparative branching-time semantics for Markov chains

DOI Full Paper Access

163

Citations

36

References

2005

Year

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf

Information and Computation

Process CalculusEngineeringAutomated ReasoningMarkov KernelFormal MethodsComparative Branching-time SemanticsComputer ScienceLanguage StudiesSemanticsLinguisticsComputational Semantics

References

	Year	Citations

Page 1