Author： Bjørner D.
Publisher： Springer Publishing Company
ISSN： 1060-0396
Source： Cybernetics and Systems Analysis, Vol.46, Iss.4, 2010-07, pp. : 609-623
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
Access to resources
Recommend
Innovative algorithms in science and engineering
International Journal of Computer Mathematics, Vol. 85, Iss. 10, 2008-10 ,pp. :
Catalysis Science and Engineering: Abstracts 69-154
CHIMIA International Journal for Chemistry, Vol. 66, Iss. 7-8, 2012-08 ,pp. :
Topology, domain theory and theoretical computer science
By Mislove M.W.
Topology and its Applications, Vol. 89, Iss. 1, 1998-11 ,pp. :