Algebraic reasoning for probabilistic action systems and while-loops

Author: Meinicke Larissa  

Publisher: Springer Publishing Company

ISSN: 0001-5903

Source: Acta Informatica, Vol.45, Iss.5, 2008-07, pp. : 321-382

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content