Experiences with a Compositional Model Checker in the Health…
Experiences with a Compositional Model Checker in the Healthcare Domain
Article, Chapter
Authors:
J. Hooman
Publication:
Page(s):92-109
Published:
2011
We were unable to find direct full text links for this item.