Conference
Medical Protocol Diagnosis Using Formal Methods.
Authors
Méry D; Singh NK
Editors
Liu Z; Wassyng A
Series
Lecture Notes in Computer Science
Volume
7151
Pagination
pp. 1-20
Publisher
Springer
Publication Date
2011
ISBN-13
978-3-642-32354-6
Conference proceedings
FHIES