Funktionelle Analyse von Kommunikationsprotokollen

  • Heiko Krumm

Part of the Informatik-Fachberichte book series (INFORMATIK, volume 247)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Heiko Krumm
    Pages 1-4
  3. Heiko Krumm
    Pages 5-35
  4. Heiko Krumm
    Pages 36-44
  5. Heiko Krumm
    Pages 45-60
  6. Heiko Krumm
    Pages 61-90
  7. Heiko Krumm
    Pages 91-103
  8. Heiko Krumm
    Pages 104-111
  9. Heiko Krumm
    Pages 112-112
  10. Back Matter
    Pages 113-122

About this book

Keywords

Ableitung Akzeptor Automaten Graphen Informatik Kommunikationssystem Kommunikationssysteme Modellierung Nebenläufigkeit Petri-Netz Rechnerkommunikation Telekommunikation Verifikation nebenläufig verteilte Systeme

Authors and affiliations

  • Heiko Krumm
    • 1
  1. 1.Fachbereich Informatik, LS IVUniversität DortmundDortmund 50Deutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-84246-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-52854-8
  • Online ISBN 978-3-642-84246-7
  • Series Print ISSN 0343-3005
  • About this book