%0 Conference Paper %1 conf/iccps/GuoRJWSB16 %A Guo, Chunhui %A Ren, Shangping %A Jiang, Yu %A Wu, Po-Liang %A Sha, Lui %A Jr., Richard B. Berlin %B ICCPS %D 2016 %I IEEE Computer Society %K dblp %P 34:1-34:10 %T Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. %U http://dblp.uni-trier.de/db/conf/iccps/iccps2016.html#GuoRJWSB16 %@ 978-1-5090-1772-0

@inproceedings{conf/iccps/GuoRJWSB16, added-at = {2023-03-24T00:00:00.000+0100}, author = {Guo, Chunhui and Ren, Shangping and Jiang, Yu and Wu, Po-Liang and Sha, Lui and Jr., Richard B. Berlin}, biburl = {https://www.bibsonomy.org/bibtex/2606fb6ccaa936e2475b0a2d157720639/dblp}, booktitle = {ICCPS}, crossref = {conf/iccps/2016}, ee = {http://dl.acm.org/citation.cfm?id=2984498}, interhash = {4368d4334ab1018147939230b8544dc3}, intrahash = {606fb6ccaa936e2475b0a2d157720639}, isbn = {978-1-5090-1772-0}, keywords = {dblp}, pages = {34:1-34:10}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:17:07.000+0200}, title = {Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models.}, url = {http://dblp.uni-trier.de/db/conf/iccps/iccps2016.html#GuoRJWSB16}, year = 2016 }