%0 Conference Paper %1 conf/itsc/ChaiWLLH19 %A Chai, Ming %A Wang, Haifeng %A Liu, Hongjie %A Lv, Jidong %A Hu, Qian %B ITSC %D 2019 %I IEEE %K dblp %P 2160-2165 %T Runtime Verification of Communications-based Train Control with Parametric Hybrid Automata. %U http://dblp.uni-trier.de/db/conf/itsc/itsc2019.html#ChaiWLLH19 %@ 978-1-5386-7024-8

@inproceedings{conf/itsc/ChaiWLLH19, added-at = {2019-12-09T00:00:00.000+0100}, author = {Chai, Ming and Wang, Haifeng and Liu, Hongjie and Lv, Jidong and Hu, Qian}, biburl = {https://www.bibsonomy.org/bibtex/22189d532334ade5700ca4c5123578574/dblp}, booktitle = {ITSC}, crossref = {conf/itsc/2019}, ee = {https://doi.org/10.1109/ITSC.2019.8917282}, interhash = {7e8b0e6595e2e1548dc32280d7865ac8}, intrahash = {2189d532334ade5700ca4c5123578574}, isbn = {978-1-5386-7024-8}, keywords = {dblp}, pages = {2160-2165}, publisher = {IEEE}, timestamp = {2019-12-10T11:39:19.000+0100}, title = {Runtime Verification of Communications-based Train Control with Parametric Hybrid Automata.}, url = {http://dblp.uni-trier.de/db/conf/itsc/itsc2019.html#ChaiWLLH19}, year = 2019 }