You are here: TUCS > PUBLICATIONS > Publication Search > Stepwise Refinement of Action ...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Stepwise Refinement of Action Systems
Ralph-Johan Back, Kaisa Sere, Stepwise Refinement of Action Systems. 12, 1991.
Files:
Full publication in PDF-format
BibTeX entry:
@ARTICLE{jBaSe91a,
title = {Stepwise Refinement of Action Systems},
author = {Back, Ralph-Johan and Sere, Kaisa},
volume = {12},
year = {1991},
}
Belongs to TUCS Research Unit(s): Software Construction Laboratorium