You are here: TUCS > PUBLICATIONS > Publication Search > Refinement and Continuous Beha...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Refinement and Continuous Behaviour
Mauno Rönkkö, Kaisa Sere, Refinement and Continuous Behaviour. In: the 10th Nordic Workshop on Programming Theory, 1998.
Abstract:
http://www.tucs.fi/Publications/proceedings/pRoSe98a.php
BibTeX entry:
@INPROCEEDINGS{pRoSe98a,
title = {Refinement and Continuous Behaviour},
booktitle = {the 10th Nordic Workshop on Programming Theory},
author = {Rönkkö, Mauno and Sere, Kaisa},
year = {1998},
keywords = {refinement, actions, action system, continuous behaviour, hybrid system},
}