Algebraic Reasoning for Probabilistic Action Systems and While-Loops
Acta Informatica - Germany
doi 10.1007/s00236-008-0073-4
Full Text
Open PDFAbstract
Available in full text
Date
May 7, 2008
Authors
Publisher
Springer Science and Business Media LLC