Hahn, E., Hermanns, H., Wachter, B., & Zhang, L. (2009). Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains.
Chicagoスタイル(17版)引用形式Hahn, E., H. Hermanns, B. Wachter, , L. Zhang. Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains. 2009.
MLA(9版)引用形式Hahn, E., et al. Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains. 2009.
警告: この引用は必ずしも正確ではありません.