B. Moller and G. Struth. Modal Kleene algebra and partial correctness. In C. Rattray, S. Maharaj, and C. Shankland, editors, Algebraic Methods and Software Technology, volume 3116 of LNCS, pages 379--393. Springer, 2004. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Modal Kleene Algebra and Applications - Survey Jules Desharnais Self-citation (Struth) (Correct)
No context found.
B. Moller and G. Struth. Modal Kleene algebra and partial correctness. In C. Rattray, S. Maharaj, and C. Shankland, editors, Algebraic Methods and Software Technology, volume 3116 of LNCS, pages 379--393. Springer, 2004.
Modal Kleene Algebra And Applications - A Survey - Desharnais, Möller, Struth Self-citation (Moller Struth) (Correct)
No context found.
B. Moller and G. Struth. Modal Kleene algebra and partial correctness. In Proc. 10th International Conference on Algebraic Methodology and Software Technology AMAST '2004, LNCS. Springer, 2004. (to appear). Preliminary version: Report No. 2003-08, Institut fur Informatik, Universitat Augsburg, May 2003.
Kleene under a Modal Demonic Star - Desharnais, Möller, Tchier (2004) Self-citation (Moller) (Correct)
No context found.
B. Moller and G. Struth. Modal Kleene algebra and partial correctness. In Proc. 10th International Conference on Algebraic Methodology and Software Technology AMAST '2004.
Kleene Algebra with Domain - Desharnais, Möller, Struth (2003) (1 citation) Self-citation (Moller Struth) (Correct)
No context found.
B. Moller and G. Struth. Modal Kleene algebra and partial correctness. Technical report, Universitat Augsburg, Institut fur Informatik.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC