Symbolic and Parametric Model Checking of Discrete-Time Markov Chains-Reference-Cited by-同舟云学术

Symbolic and Parametric Model Checking of Discrete-Time Markov Chains

Published:2005 Issue: Volume: Page:280-294
ISSN:0302-9743
Container-title:Theoretical Aspects of Computing - ICTAC 2004
language:
Short-container-title:

Author:

Daws Conrado

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-31862-0_21.pdf

Reference22 articles.

1. Lecture Notes in Computer Science;A. Aziz,1995

2. Bergstra, J., Fokkink, W., Ponse, A.: Process algebra with recursive operations. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebrea. Elsevier Science, Amsterdam (2001)

3. Bergstra, J.A., Bethke, I., Ponse, A.: Process algebra with iteration and nesting. The Computer Journal 37(4), 243–258 (1994)

4. Berstel, J., Reutenauer, C.: Rational Series and Their Languages. EATCS Monographs in Computer Science. Springer, Heidelberg (1988)

5. Lecture Notes in Computer Science;A. Bianco,1995

Cited by 89 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Fast Parametric Model Checking With Applications to Software Performability Analysis;IEEE Transactions on Software Engineering;2023-10-01

2. Qualitative reachability for open interval Markov chains;PeerJ Computer Science;2023-08-28

3. Scenario Approach for Parametric Markov Models;Automated Technology for Verification and Analysis;2023

4. Efficient Sensitivity Analysis for Parametric Robust Markov Chains;Computer Aided Verification;2023

5. Scenario-based verification of uncertain parametric MDPs;International Journal on Software Tools for Technology Transfer;2022-09-14