A Specification Oriented Semantics for Real-Time Systems
D. J. Scholefield, H. S. M. Zedan and J. He
No Abstract Available
Download Not Available
BibTex Entry
@article{Scholefield1994,
abstract = {},
author = {D. J. Scholefield and H. S. M. Zedan and J. He},
journal = {Theorectical Computer Science},
pages = {219-241},
title = {A Specification Oriented Semantics for Real-Time Systems},
year = {1994}
}