MLA
Tarasyuk, Anton, et al. "Quantitative Reasoning About Dependability in Event-B : Probabilistic Model Checking Approach ." Dependability and Computer Engineering: Concepts for Software-Intensive Systems, edited by Luigia Petre, et al., IGI Global, 2012, pp. 459-472. https://doi.org/10.4018/978-1-60960-747-0.ch019
APA
Tarasyuk, A., Troubitsyna, E., & Laibinis, L. (2012). Quantitative Reasoning About Dependability in Event-B : Probabilistic Model Checking Approach . In L. Petre, K. Sere, & E. Troubitsyna (Eds.), Dependability and Computer Engineering: Concepts for Software-Intensive Systems (pp. 459-472). IGI Global. https://doi.org/10.4018/978-1-60960-747-0.ch019
Chicago
Tarasyuk, Anton, Elena Troubitsyna, and Linas Laibinis. "Quantitative Reasoning About Dependability in Event-B : Probabilistic Model Checking Approach ." In Dependability and Computer Engineering: Concepts for Software-Intensive Systems, edited by Luigia Petre, Kaisa Sere, and Elena Troubitsyna, 459-472. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-60960-747-0.ch019
Export Reference