@PhdThesis{PYatapanage2011,
  author   = {Nisansala Prasanthi Yatapanage},
  title    = {Slicing Behavior Trees for Verification of Large Systems},
  year     = {2011},
  type     = {PhDReview},
  file     = {PhDReviewed/Yatapanage2011 - Slicing Behavior Trees for Verification of Large Systems.pdf:PDF},
  location = {Institute for Integrated and Intelligent Systems, Griffith University, Australia}
}