ePrints

Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets

Lookup NU author(s): Dr Frank Burns

Downloads

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

Publication metadata

Author(s): Burns A, Wellings AJ, Burns FP et al

Publication type: Article

Publication status: Published

Journal: International Journal of Computer Systems Science and Engineering.Special Issue: International Workshop on Software Engineering and Petri Nets (SEPN)

Year: 2001

Volume: 16

Issue: 3

Pages: 173-182

ISSN (print): 0267-6192

Publisher: CRL Publishing Ltd.

Share