Transformational VS Reactive Refinement in Real-time Systems
S.K. Atkinson and D.J. Scholefield
No Abstract Available
Download Not Available
BibTex Entry
@article{Atkinson1995,
abstract = {},
author = {S.K. Atkinson and D.J. Scholefield},
journal = {Information Processing Letters},
pages = {201-210},
title = {Transformational VS Reactive Refinement in Real-time Systems},
year = {1995}
}