Experiences with a Compositional Model Checker in the Healthcare Domain

Thumbnail Image

Files

Access status: Embargo until 2233-03-22 , Primary 91792.pdf (1.28 MB)

Date

2011

Authors

Hooman, J.J.M. Jozef
Huis in 't Veld, R.
Schuts, M.

Journal Title

Journal ISSN

Volume Title

Publisher

S.l. : s.n.

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

UNU-IIST Report

Citation

URI

https://hdl.handle.net/2066/91792

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By