↓ Skip to main content
What is this page? Embed badge

Partial-Order Methods for the Verification of Concurrent Systems

Overview of attention for book
Cover of 'Partial-Order Methods for the Verification of Concurrent Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 28 Introduction
  3. Altmetric Badge
    Chapter 29 Concurrent systems and semantics
  4. Altmetric Badge
    Chapter 30 Using partial orders to tackle state explosion
  5. Altmetric Badge
    Chapter 31 Persistent sets
  6. Altmetric Badge
    Chapter 32 Sleep sets
  7. Altmetric Badge
    Chapter 33 Verification of safety properties
  8. Altmetric Badge
    Chapter 34 Model checking
  9. Altmetric Badge
    Chapter 35 Experiments
  10. Altmetric Badge
    Chapter 36 Conclusions
Attention for Chapter 33: Verification of safety properties
Altmetric Badge

Citations

dimensions_citation
545 Dimensions

Readers on

mendeley
4 Mendeley
Summary Dimensions citations
So far, Dimensions has found 545 publications that cite this research output.

545

The most recent citing publications are shown below. View all 545 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.