A single link to the first track to allow the export script to build the search page
  • Frontal
  • Model Checking for Verification of Interactive Health IT Systems

    • Keith A. Butler $lastName ;
    • Eric Mercer $lastName ;
    • Ali Bahrami $lastName ;
    • Cui Tao $lastName

    Model Checking for Verification of Interactive Health IT Systems


    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