Renan Pereira de Figueiredo, João Bosco Ferreira Filho, Flávio R. C. Sousa, Philip Weber, Ian Litchfield. Automated Verification of Care Pathways Using Constraint Programming. IEEE Transactions on Information Technology in Biomedicine, 24(9):2718-2725, 2020. [doi]
@article{FigueiredoFSWL20,
title = {Automated Verification of Care Pathways Using Constraint Programming},
author = {Renan Pereira de Figueiredo and João Bosco Ferreira Filho and Flávio R. C. Sousa and Philip Weber and Ian Litchfield},
year = {2020},
doi = {10.1109/JBHI.2020.2977032},
url = {https://doi.org/10.1109/JBHI.2020.2977032},
researchr = {https://researchr.org/publication/FigueiredoFSWL20},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Information Technology in Biomedicine},
volume = {24},
number = {9},
pages = {2718-2725},
}