Author： Cece G. Finkel A. Purushothaman Iyer S.
Publisher： Academic Press
ISSN： 0890-5401
Source： Information and Computation, Vol.124, Iss.1, 1996-01, pp. : 20-31
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
Verifying Programs with Unreliable Channels
Information and Computation, Vol. 127, Iss. 2, 1996-06 ,pp. :
Access to resources
Recommend
Undecidable Verification Problems for Programs with Unreliable Channels
Information and Computation, Vol. 130, Iss. 1, 1996-10 ,pp. :
CHIMIA International Journal for Chemistry, Vol. 64, Iss. 9, 2010-09 ,pp. :
Turbulent Flow in Channels with Porous Walls
STUDIES IN APPLIED MATHEMATICS, Vol. 38, Iss. 1, 1959-04 ,pp. :