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]
@inproceedings{VelosoVBL18,
title = {On Diagrams and General Model Checkers},
author = {Sheila R. M. Veloso and Paulo A. S. Veloso and Mario R. F. Benevides and Isaque M. S. Lima},
year = {2018},
doi = {10.1007/978-3-319-91376-6_60},
url = {https://doi.org/10.1007/978-3-319-91376-6_60},
researchr = {https://researchr.org/publication/VelosoVBL18},
cites = {0},
citedby = {0},
pages = {680-688},
booktitle = {Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings},
editor = {Peter Chapman and Gem Stapleton and Amirouche Moktefi and Sarah Pérez-Kriz and Francesco Bellucci},
volume = {10871},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-91376-6},
}