%0 Conference Paper %1 conf/qrs/HuangHC023 %A Huang, Peishan %A Hong, Weijiang %A Chen, Zhenbang %A Wang, Ji %B QRS Companion %D 2023 %I IEEE %K dblp %P 1-2 %T CSP based Formal Modeling and Verification of Behavior Trees. %U http://dblp.uni-trier.de/db/conf/qrs/qrs2023c.html#HuangHC023 %@ 979-8-3503-5939-8

@inproceedings{conf/qrs/HuangHC023, added-at = {2024-03-05T00:00:00.000+0100}, author = {Huang, Peishan and Hong, Weijiang and Chen, Zhenbang and Wang, Ji}, biburl = {https://www.bibsonomy.org/bibtex/214201080eb04a2d06886329574741762/dblp}, booktitle = {QRS Companion}, crossref = {conf/qrs/2023c}, ee = {https://doi.org/10.1109/QRS-C60940.2023.00015}, interhash = {559c5e18e58bb6cbd7c8d6edd33abd00}, intrahash = {14201080eb04a2d06886329574741762}, isbn = {979-8-3503-5939-8}, keywords = {dblp}, pages = {1-2}, publisher = {IEEE}, timestamp = {2024-04-09T13:27:58.000+0200}, title = {CSP based Formal Modeling and Verification of Behavior Trees.}, url = {http://dblp.uni-trier.de/db/conf/qrs/qrs2023c.html#HuangHC023}, year = 2023 }