A single link to the first track to allow the export script to build the search page
  • Paper
  • Model Checking for Clinical Guidelines: an Agent-based Approach

    • L. Giordano ;
    • P. Terenziani ;
    • A. Bottrighi ;
    • S. Montani ;
    • L. Donzella

    Manuscript Type: Paper

    Model Checking for Clinical Guidelines: an Agent-based Approach


    You must log in to view this content. All contents are accessible to AMIA members and meeting attendees. If you are interested in purchasing proceedings, please contact us at mail@amia.org