Proving Properties of Real-Time Semaphores
D.J. Scholefield
No Abstract Available
Download Not Available
BibTex Entry
@article{Scholefield1995,
abstract = {},
author = {D.J. Scholefield},
journal = {Science of Computer Programming(24)},
pages = {159-181},
title = {Proving Properties of Real-Time Semaphores},
year = {1995}
}