Kangli He, Min Zhang 0007, Jia He, Yixiang Chen. Probabilistic Model Checking of Pipe protocol. In 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015. pages 135-138, IEEE Computer Society, 2015. [doi]
Abstract is missing.