• 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: Hybrid Systems: Computation and Control, Second International Workshop HSCC'99, LNCS 1569, 223-237, Springer-Verlag, 1999.

Abstract:

http://www.tucs.fi/Publications/proceedings/pRoSe99a.php

BibTeX entry:

@INPROCEEDINGS{pRoSe99a,
  title = {Refinement and Continuous Behaviour},
  booktitle = {Hybrid Systems: Computation and Control, Second International Workshop HSCC'99},
  author = {Rönkkö, Mauno and Sere, Kaisa},
  volume = {1569},
  series = {LNCS},
  publisher = {Springer-Verlag},
  pages = {223-237},
  year = {1999},
  keywords = {refinement, actions, action system, continuous behaviour, hybrid system},
}

Edit publication