Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides, Isaque M. S. Lima. On Diagrams and General Model Checkers. In Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Pérez-Kriz, Francesco Bellucci, editors, Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Volume 10871 of Lecture Notes in Computer Science, pages 680-688, Springer, 2018. [doi]
Abstract is missing.