Luddy School of Informatics, Computing, and Engineering
Technical Report TR504:
Efficient Symbolic Detection of Global Properties in Distributed Systems
Scott D. Stoller and Yanhong A. Liu
(Feb 1998), 13 pages pages
The abstact is not available. Please see the full paper.
Sorry, no electronic version of this paper is currently available. See
The Trustees of