%0 Conference Paper %1 conf/bigcom/YuYLZLHS20 %A Yu, Lei %A Yan, Yubo %A Lu, Yang %A Zhang, Benhong %A Li, Ya %A Huang, Fangliang %A Shen, Yulian %B BigCom %D 2020 %I IEEE %K dblp %P 168-179 %T Modeling and Verification of Hospital Intelligent Diagnosis and Treatment Service Based on Timed Automata in Internet of Things. %U http://dblp.uni-trier.de/db/conf/bigcom/bigcom2020.html#YuYLZLHS20 %@ 978-1-7281-8275-9

@inproceedings{conf/bigcom/YuYLZLHS20, added-at = {2022-05-24T00:00:00.000+0200}, author = {Yu, Lei and Yan, Yubo and Lu, Yang and Zhang, Benhong and Li, Ya and Huang, Fangliang and Shen, Yulian}, biburl = {https://www.bibsonomy.org/bibtex/246622022671b4efd01c3387bb6538bdc/dblp}, booktitle = {BigCom}, crossref = {conf/bigcom/2020}, ee = {https://doi.org/10.1109/BigCom51056.2020.00031}, interhash = {eda854c46cd3156a69c48f85878d7778}, intrahash = {46622022671b4efd01c3387bb6538bdc}, isbn = {978-1-7281-8275-9}, keywords = {dblp}, pages = {168-179}, publisher = {IEEE}, timestamp = {2024-04-10T09:03:06.000+0200}, title = {Modeling and Verification of Hospital Intelligent Diagnosis and Treatment Service Based on Timed Automata in Internet of Things.}, url = {http://dblp.uni-trier.de/db/conf/bigcom/bigcom2020.html#YuYLZLHS20}, year = 2020 }