A formal specification of electronic patient record processing for an integrated distributed health care system

Bibliographic Details
Main Author: Sampath, Srinivasan
Published: 2013
Online Access:http://hdl.handle.net/1993/19977