This page in English
SucheModal Kleene Algebra and Partial Correctness
B. Möller, G. Struth
2003-08
in: Universität Augsburg
Technical Report, Institute of Computer Science, University of Augsburg, May 2003
Downloads:
- Modal Kleene Algebra and Partial Correctness - (tr-2003-8_moe_str.pdf, 723 KB)