• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Action Systems with Continuous Behaviour

Mauno Rönkkö, Anders P. Ravn, Action Systems with Continuous Behaviour. In: Proceedings of the Hybrid Systems V, LNCS 1567, 304-323, Springer-Verlag, 1999.

Abstract:

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

BibTeX entry:

@INPROCEEDINGS{pRoRa97c,
  title = {Action Systems with Continuous Behaviour},
  booktitle = {Proceedings of the Hybrid Systems V},
  author = {Rönkkö, Mauno and Ravn, Anders P.},
  volume = {1567},
  series = {LNCS},
  publisher = {Springer-Verlag},
  pages = {304-323},
  year = {1999},
  keywords = {weakest liberal precondition, actions, hybrid system, parallel composition, HyTech},
}

Edit publication