default search action
BibTeX record conf/caasafeproc/HuangLH21
@inproceedings{DBLP:conf/caasafeproc/HuangLH21, author = {Liyuan Huang and Yang Liu and Darong Huang}, title = {Formal verification of special vehicle priority traffic signal light control system based on {TPN} and {Z}}, booktitle = {{CAA} Symposium on Fault Detection, Supervision, and Safety for Technical Processes, {SAFEPROCESS} 2021, Chengdu, China, December 17-18, 2021}, pages = {1--5}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/SAFEPROCESS52771.2021.9693591}, doi = {10.1109/SAFEPROCESS52771.2021.9693591}, timestamp = {Mon, 26 Jun 2023 20:43:48 +0200}, biburl = {https://dblp.org/rec/conf/caasafeproc/HuangLH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.