%0 Journal Article %1 journals/corr/abs-1811-00694 %A Guo, Chunhui %A Fu, Zhicheng %A Zhang, Zhenyu %A Ren, Shangping %A Sha, Lui %D 2018 %J CoRR %K dblp %T Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report). %U http://dblp.uni-trier.de/db/journals/corr/corr1811.html#abs-1811-00694 %V abs/1811.00694

@article{journals/corr/abs-1811-00694, added-at = {2020-04-15T00:00:00.000+0200}, author = {Guo, Chunhui and Fu, Zhicheng and Zhang, Zhenyu and Ren, Shangping and Sha, Lui}, biburl = {https://www.bibsonomy.org/bibtex/20e4e991befb966e459c56606ad932d79/dblp}, ee = {http://arxiv.org/abs/1811.00694}, interhash = {b7db697378ad00b73e2d98f57789cfa6}, intrahash = {0e4e991befb966e459c56606ad932d79}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-04-16T11:38:02.000+0200}, title = {Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1811.html#abs-1811-00694}, volume = {abs/1811.00694}, year = 2018 }