Toggle Main Menu Toggle Search

Open Access padlockePrints

Cut Set Analysis using Behavior Trees and Model Checking

Lookup NU author(s): Dr Nisansala Yatapanage


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Lindsay PA, Yatapanage N, Winter K

Publication type: Article

Publication status: Published

Journal: Formal Aspects of Computing

Year: 2012

Volume: 24

Issue: 2

Pages: 249-266

Print publication date: 01/03/2012

ISSN (print): 0934-5043

ISSN (electronic): 1433-299X

Publisher: Springer-Verlag


DOI: 10.1007/s00165-011-0181-8


Altmetrics provided by Altmetric