Hybrid cc with interval constraints

This publication has 11 references indexed in Scilit:

• Timed Default Concurrent Constraint Programming
  Journal of Symbolic Computation, 1996
• Guaranteed Error Bounds for Ordinary Differential Equations
  Published by Oxford University Press (OUP) ,1995
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Programming in hybrid constraint languages
  Published by Springer Nature ,1995
• An Introduction to AKL A Multi-Paradigm Programming Language
  Published by Springer Nature ,1994
• Synchronous Programming of Reactive Systems
  Published by Springer Nature ,1993
• Concurrent Constraint Programming
  Published by MIT Press ,1993
• The synchronous approach to reactive and real-time systems
  Proceedings of the IEEE, 1991
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• A logic for default reasoning
  Artificial Intelligence, 1980