Table of contents

  1. Front Matter
  2. Shmuel Katz, Doron Peled
    Pages 21-43
  3. Susanne Graf, Joseph Sifakis
    Pages 44-61
  4. Behnam Banieqbal, Howard Barringer
    Pages 62-74
  5. Moshe Y. Vardi
    Pages 202-212
  6. P. M. Melliar-Smith
    Pages 224-242
  7. S. Khosla, T. S. E. Maibaum
    Pages 243-294
  8. A. Sernadas, J. Fiadeiro, C. Sernadas, H.-D. Ehrich
    Pages 324-350

About these proceedings

Keywords

Automatentheorie Spezifikation verteilter Systeme Temporale Logik Verteilte Systeme automata logic model checking object verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-51803-7
  • Copyright Information Springer-Verlag 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-51803-7
  • Online ISBN 978-3-540-46811-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book