Author： Shmatikov
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.283, Iss.2, 2002-06, pp. : 419-450
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
Formal Analysis of Multiparty Contract Signing
By Chadha Rohit Kremer Steve Scedrov Andre
Journal of Automated Reasoning, Vol. 36, Iss. 1-2, 2006-01 ,pp. :
Access to resources
Recommend
By BASU SUMITA
Cybernetics and Systems, Vol. 36, Iss. 2, 2005-03 ,pp. :
By Dai J.J. Lathrop J.I. Lutz J.H. Mayordomo E.
Theoretical Computer Science, Vol. 310, Iss. 1, 2004-01 ,pp. :
Deciding sequentiability of finite-state transducers by finite-state pattern-matching
By Gaal T.
Theoretical Computer Science, Vol. 313, Iss. 1, 2004-02 ,pp. :