Conference
Experiences with a Compositional Model Checker in the Healthcare Domain.
Authors
Hooman J; Veld RHIT; Schuts M
Editors
Liu Z; Wassyng A
Series
Lecture Notes in Computer Science
Volume
7151
Pagination
pp. 93-110
Publisher
Springer
Publication Date
January 1, 2011
ISBN-13
978-3-642-32354-6
Conference proceedings
FHIES