Author: Rastogi R. Mehrotra S. Breitbart Y. Korth H.F. Silberschatz A.
Publisher: Academic Press
ISSN: 0022-0000
Source: Journal of Computer and System Sciences, Vol.56, Iss.1, 1998-02, pp. : 68-82
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
On the correctness of modular systems
By Navarro M. Orejas F. Sanchez A.
Theoretical Computer Science, Vol. 140, Iss. 1, 1995-03 ,pp. :
Static correctness of hierarchical procedures
Theoretical Computer Science, Vol. 156, Iss. 1, 1996-03 ,pp. :