%0 Conference Paper %1 conf/tase/RanWLSGZ14 %A Ran, Qinwen %A Wu, Xi %A Li, Xin %A Shi, Jianqi %A Guo, Jian %A Zhu, Huibiao %B TASE %D 2014 %I IEEE Computer Society %K %P 90-97 %T Modeling and Verifying the TTCAN Protocol Using Timed CSP. %U http://dblp.uni-trier.de/db/conf/tase/tase2014.html#RanWLSGZ14 %@ 978-1-4799-5029-4

@inproceedings{conf/tase/RanWLSGZ14, added-at = {2023-12-13T08:00:25.000+0100}, author = {Ran, Qinwen and Wu, Xi and Li, Xin and Shi, Jianqi and Guo, Jian and Zhu, Huibiao}, biburl = {https://www.bibsonomy.org/bibtex/2af9fc2546ad48de0c18d872689cd180f/admin}, booktitle = {TASE}, crossref = {conf/tase/2014}, ee = {http://doi.ieeecomputersociety.org/10.1109/TASE.2014.8}, interhash = {bfb8d7ee3ec4e74e25e13d90c9860407}, intrahash = {af9fc2546ad48de0c18d872689cd180f}, isbn = {978-1-4799-5029-4}, keywords = {}, pages = {90-97}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T08:00:25.000+0100}, title = {Modeling and Verifying the TTCAN Protocol Using Timed CSP.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2014.html#RanWLSGZ14}, year = 2014 }