An integrated framework for verifying multiple care pathways.

Juliana Bowles, Marco B. Caminati, Suhyun Cha

Browse the full TASE paper archive.