skip to main content
article
Free access

Book Review: Design and Validation of Computer Protocols by Gerard J. Holzmann (Prentice Hall, 1991)

Published: 01 April 1991 Publication History

Abstract

No abstract available.

Cited By

View all
  • (2022)Survey on Formation Verification for Ensembling Collective Adaptive SystemAdvances in Data Computing, Communication and Security10.1007/978-981-16-8403-6_19(219-228)Online publication date: 29-Mar-2022
  1. Book Review: Design and Validation of Computer Protocols by Gerard J. Holzmann (Prentice Hall, 1991)

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM SIGCOMM Computer Communication Review
    ACM SIGCOMM Computer Communication Review  Volume 21, Issue 2
    April 1991
    91 pages
    ISSN:0146-4833
    DOI:10.1145/122419
    • Editor:
    • Craig Patridge
    Issue’s Table of Contents

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 01 April 1991
    Published in SIGCOMM-CCR Volume 21, Issue 2

    Check for updates

    Qualifiers

    • Article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)52
    • Downloads (Last 6 weeks)9
    Reflects downloads up to 08 Mar 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2022)Survey on Formation Verification for Ensembling Collective Adaptive SystemAdvances in Data Computing, Communication and Security10.1007/978-981-16-8403-6_19(219-228)Online publication date: 29-Mar-2022

    View Options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Login options

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media