2019
Extracting counterexamples from transitive-closure-based model checking.
[DOI]
Mitchell Kember
,
Lynn Tran
,
George Gao
,
Nancy A. Day
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, 2019