Real-Time Refinement: Semantics and Application
D.J. Scholefield, H.S.M. Zedan and J. He
No Abstract Available
Download Not Available
BibTex Entry
@inproceedings{Scholefield1993,
abstract = {},
author = {D.J. Scholefield and H.S.M. Zedan and J. He},
booktitle = {Proceedings of MFCS '93, Springer-Verlag LNCS 711, Gdansk},
title = {Real-Time Refinement: Semantics and Application},
year = {1993}
}