No Abstract Available
Download Not Available

BibTex Entry

@inproceedings{Scholefield1992a,
 abstract = {},
 author = {D.J. Scholefield and H.S.M. Zedan},
 booktitle = {Fourth European Workshop on Real-Time Systems, Athens, Greece},
 title = {The Refinement of Real-Time Systems},
 year = {1992}
}