Period of time: 2014年3期
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 46,issue 3
Menu
Hardness of equivalence checking for composed finite-state systems
Acta Informatica,volume 46,issue 3 , Vol. 46, Iss. 3, 2009-05 , pp.On the closure of pattern expressions languages under intersection with regular languages
Acta Informatica,volume 46,issue 3 , Vol. 46, Iss. 3, 2009-05 , pp.Liveness of a mutex algorithm in a fair process algebra
Acta Informatica,volume 46,issue 3 , Vol. 46, Iss. 3, 2009-05 , pp.A decomposition theorem for finite persistent transition systems
Acta Informatica,volume 46,issue 3 , Vol. 46, Iss. 3, 2009-05 , pp.