Real-time refinement in Manna and Pnueli's temporal logic
D. Scholefield
No Abstract Available
Download Not Available
BibTex Entry
@article{Scholefield1996,
abstract = {},
author = {D. Scholefield},
journal = {Formal Aspects of Computing (UK)},
pages = {408-427},
title = {Real-time refinement in Manna and Pnueli's temporal logic},
year = {1996}
}