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]
No references recorded for this publication.
No citations of this publication recorded.