Mitchell Kember, Lynn Tran, George Gao, Nancy A. Day. Extracting counterexamples from transitive-closure-based model checking. In Marsha Chechik, Daniel Strüber 0001, Dániel Varró, editors, Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019. pages 47-54, ACM, 2019. [doi]
Abstract is missing.