Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems.

Fateh Latreche, Abdelkader Moudjari, Hichem Talbi

Browse the full ICTAC paper archive.