Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki. Qualitative and quantitative analysis with scheduling policies in model checking. In Hisham M. Haddad, Roger L. Wainwright, Richard Chbeir, editors, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018. pages 1873-1880, ACM, 2018. [doi]
Abstract is missing.