Treffer: Checking LTL properties of recursive Markov chains
Title:
Checking LTL properties of recursive Markov chains
Authors:
Source:
Second International Conference on the Quantitative Evaluation of Systems (QEST'05) Quantitative Evaluation of Systems Quantitative Evaluation of Systems, 2005. Second International Conference on the. :155-164 2005
Relation:
Proceedings. Second International Conference on the Quantitative Evaluation of Systems
Database:
IEEE Xplore Digital Library