© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The introduction to hospital office system
Chunsheng Lan, Fang Ting, and Linying Su
Processing and Research of Medical Iinformation, 1(1):182-196, August 1993.Bibtex Record
@article{2307,
author = {Chunsheng Lan and Fang Ting and Linying Su},
title = {The introduction to Hospital Office System},
month = {August},
year = {1993},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1993/2307},
publication_type = {article},
submission_id = {24078_1134050322},
other_year = {1993},
journal = {Processing and Research of Medical Iinformation},
volume = {1},
number = {1},
}