Author: Bundgen R. Gobel M. Kuchlin W.
Publisher: Academic Press
ISSN: 0747-7171
Source: Journal of Symbolic Computation, Vol.21, Iss.4, 1996-04, pp. : 475-505
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
Confinement Properties for Multi-Threaded Programs
Electronic Notes in Theoretical Computer Science, Vol. 20, Iss. 1, 2004-01 ,pp. :