Modelling and verification of an atomic action protocol implemented in Ada
A. Burns, A. J. Wellings, F. Burns, A. M. Koelmans, M. Koutny, A. Romanovsky and A. Yakovlev
No abstract available.
Download Not Available
BibTex Entry
@article{Burns2001c,
author = {A. Burns and A. J. Wellings and F. Burns and A. M. Koelmans and M. Koutny and A. Romanovsky and A. Yakovlev},
category = {languages,scheduling},
journal = {Int. J. Computer Systems Science and Engineering},
number = {3},
pages = {173-182},
title = {Modelling and verification of an atomic action protocol implemented in Ada},
volume = {16},
year = {2001}
}