Search - IFIP Open Digital Library Access content directly

Filter your results

1 Array
Structure: Internal structure identifier : 250752
authFullName_s : Nisansala Yatapanage
Page :
sorted by
Image document

Slicing Behavior Tree Models for Verification

 Nisansala Yatapanage , Kirsten Winter , Saad Zafar
6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.125-139, ⟨10.1007/978-3-642-15240-5_10⟩
Conference papers hal-01054464v1
Page :