Non-deterministic temporal logics for general flow systems Full Written Papers Refereed uri icon

Overview

Authors

  • Authorship

  • Editor

    • ALUR R
    • PAPPAS GJ

Published in

  • Lecture Notes in Computer Science

Time

Date/time value

  • 2004

Additional Document Info

Parent Title

  • 7th International Workshop on Hybrid Systems - Computation and Control
  • HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS

Volume

  • 2993

Publisher

  • Springer Verlag