Slicing Behavior Tree Models for Verification
(2014) : Yatapanage, Nisansala and Winter, Kirsten and Zafar, Saad
DOI: https://doi.org/10.1007/978-3-642-15240-5_10
#behaviour_tree #case_study #dependence #documentation #graph #health_care #model_check
#my_bibtex