- Suche

- Kontakt

Modal Kleene Algebra and Partial Correctness

B. Möller, G. Struth
erschienen 2004 In C. Rattray, S. Maharaj, C. Shankland (eds.): Algebraic Methodology and Software Technology (AMAST 2004), LNCS 3116 (Best Paper Award).
pp. 379-393, 2004.
Springer-Verlag.