You are here: TUCS > PUBLICATIONS > Publication Search > Algebraic Reasoning About Guar...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Algebraic Reasoning About Guarded Loops
Joakim von Wright, Algebraic Reasoning About Guarded Loops. In: Dagstuhl Seminar 10810: Applications of Kleene Algebra, Schloss Dagstuhl, 2001.
BibTeX entry:
@INPROCEEDINGS{inpvonWright_Joakim01a,
title = {Algebraic Reasoning About Guarded Loops},
booktitle = {Dagstuhl Seminar 10810: Applications of Kleene Algebra},
author = {Wright, Joakim von},
publisher = {Schloss Dagstuhl},
year = {2001},
}
Belongs to TUCS Research Unit(s): Software Construction Laboratorium