Author: Abdulla P.A. Jonsson B.
Publisher: Academic Press
ISSN: 0890-5401
Source: Information and Computation, Vol.127, Iss.2, 1996-06, pp. : 91-101
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
Undecidable Verification Problems for Programs with Unreliable Channels
Information and Computation, Vol. 130, Iss. 1, 1996-10 ,pp. :
Unreliable Channels Are Easier to Verify Than Perfect Channels
By Cece G. Finkel A. Purushothaman Iyer S.
Information and Computation, Vol. 124, Iss. 1, 1996-01 ,pp. :
Verifying the Hanging Chain Model
PRIMUS, Vol. 23, Iss. 8, 2013-07 ,pp. :
On the Complexity of Verifying Concurrent Transition Systems
By Harel D. Kupferman O. Vardi M.Y.
Information and Computation, Vol. 173, Iss. 2, 2002-03 ,pp. :
CHIMIA International Journal for Chemistry, Vol. 64, Iss. 9, 2010-09 ,pp. :