Author： Fouz Mahmoud Kufleitner Manfred Manthey Bodo Zeini Jahromi Nima
Publisher： Springer Publishing Company
ISSN： 0178-4617
Source： Algorithmica, Vol.62, Iss.3-4, 2012-04, pp. : 879-905
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
A concrete realization of the Hoare powerdomain
By Hart James Tsinakis Constantine
Soft Computing, Vol. 11, Iss. 11, 2007-09 ,pp. :
Access to resources
Recommend
The Charleston Advisor, Vol. 11, Iss. 4, 2010-04 ,pp. :
The Charleston Advisor, Vol. 11, Iss. 3, 2010-01 ,pp. :