Chen, T., Diciolla, M., Kwiatkowska, M., & Mereacre, A. (2012). Verification of Linear Duration Properties over Continuous−Time Markov Chains.
Chicago-Zitierstil (17. Ausg.)Chen, T., M. Diciolla, M. Kwiatkowska, und A. Mereacre. Verification of Linear Duration Properties over Continuous−Time Markov Chains. 2012.
MLA-Zitierstil (9. Ausg.)Chen, T., et al. Verification of Linear Duration Properties over Continuous−Time Markov Chains. 2012.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.