Period of time： 2014年5期
Publisher： Springer Publishing Company
Founded in： 1971
Total resources： 23
ISSN： 0001-5903
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Acta Informatica,volume 45,issue 5
Menu
Algebraic reasoning for probabilistic action systems and while-loops
Acta Informatica,volume 45,issue 5 , Vol. 45, Iss. 5, 2008-07 , pp.
Access to resources
Recommend
The fibers and range of reduction graphs in ciliates
Acta Informatica,volume 45,issue 5 , Vol. 45, Iss. 5, 2008-07 , pp.