Advertisement

A general framework for the composition of timed systems

Extended abstract
  • Joseph Sifakis
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1486)

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Joseph Sifakis
    • 1
  1. 1.VerimagGièresFrance

Personalised recommendations