%0 Conference Paper %1 conf/euspn/WangR14 %A Wang, Xiaoliang %A Rutle, Adrian %B EUSPN/ICTH %D 2014 %I Elsevier %K dblp %P 481-488 %T Model Checking Healthcare Workflows Using Alloy. %U http://dblp.uni-trier.de/db/conf/euspn/euspn2014.html#WangR14 %V 37

@inproceedings{conf/euspn/WangR14, added-at = {2021-02-10T00:00:00.000+0100}, author = {Wang, Xiaoliang and Rutle, Adrian}, biburl = {https://www.bibsonomy.org/bibtex/21907a7c8f7a6bac2a291cf29021855f7/dblp}, booktitle = {EUSPN/ICTH}, crossref = {conf/euspn/2014}, ee = {https://doi.org/10.1016/j.procs.2014.08.072}, interhash = {66f8da72569c5d1f03bce2bc45160d86}, intrahash = {1907a7c8f7a6bac2a291cf29021855f7}, keywords = {dblp}, pages = {481-488}, publisher = {Elsevier}, series = {Procedia Computer Science}, timestamp = {2024-04-09T21:55:39.000+0200}, title = {Model Checking Healthcare Workflows Using Alloy.}, url = {http://dblp.uni-trier.de/db/conf/euspn/euspn2014.html#WangR14}, volume = 37, year = 2014 }