Toggle Main Menu Toggle Search

Open Access padlockePrints

Cut Set Analysis using Behavior Trees and Model Checking

Lookup NU author(s): Dr Nisansala Yatapanage

Downloads

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

URL: http://dx.doi.org/10.1007/s00165-011-0181-8

DOI: 10.1007/s00165-011-0181-8


Altmetrics

Altmetrics provided by Altmetric


Share