Slicing Behavior Tree Models for Verification

File Size Format
64589_1.pdf 235Kb Adobe PDF View
Title Slicing Behavior Tree Models for Verification
Author Yatapanage, Nisansala Prasanthi; Winter, Kirsten; Zafar, Saad
Publication Title Theoretical Computer Science
Editor Christian S.Calude and Vladimiro Sassone
Year Published 2010
Publisher Springer
Peer Reviewed Yes
Published Yes
Alternative URI http://dx.doi.org/10.1007/978-3-642-15240-5_10
Copyright Statement IFIP, 2010. This is the author's version of the work. It is posted here by permission of IFIP for your personal use. Not for redistribution. The definitive version was published in Theoretical Computer Science, IFIP AICT, Vol. 323, (Boston:Springer), pp.125-139.
Faculty Faculty of Science, Environment, Engineering and Technology
Publication Type Conference Publications (Full Written Paper - Refereed)

Show full item record

Griffith University copyright notice