Vis enkel innførsel

Model Checking Healthcare Workflows using Alloy

dc.contributor.authorWang, Xiaoliang
dc.contributor.authorRutle, Adrian
dc.date.accessioned2018-02-01T15:07:40Z
dc.date.available2018-02-01T15:07:40Z
dc.date.issued2014
dc.identifier.citationProcedia Computer Science 2014, 37(0):481-488
dc.identifier.issn1877-0509
dc.identifier.urihttp://hdl.handle.net/11250/2481685
dc.description-
dc.language.isoeng
dc.rightsAttribution-NonCommercial-NoDerivatives 3.0 Norway
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/no/
dc.titleModel Checking Healthcare Workflows using Alloy
dc.typePeer reviewed
dc.typeJournal article
dc.date.updated2015-01-02T15:28:14Z
dc.identifier.doi10.1016/j.procs.2014.08.072
dc.identifier.cristin1160394


Tilhørende fil(er)

Thumbnail
Filnavn:
Wang+and+Rutle.pdf
Størrelse:
297.6Kb
Format:
PDF
Åpne
Thumbnail
Filnavn:
cristin-1160394.xml
Størrelse:
5.460Kb
Format:
XML
Åpne

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel

Attribution-NonCommercial-NoDerivatives 3.0 Norway
Med mindre annet er angitt, så er denne innførselen lisensiert som Attribution-NonCommercial-NoDerivatives 3.0 Norway