Verification of Sequential and Concurrent Programs

Overview of attention for book

Cover of 'Verification of Sequential and Concurrent Programs'

Table of Contents

Attention for Chapter 10: Nondeterministic Programs

Altmetric Badge

Citations

dimensions_citation: 136 Dimensions

Readers on

mendeley: 7 Mendeley

Summary Dimensions citations

So far, Dimensions has found 136 publications that cite this research output.

136

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

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Article in ACM Transactions on Programming Languages and Systems (March 2024)

Synthesis of Control Signals for Analog Automata Small-Sized Technical Objects

Conference proceeding (March 2024)

An Efficient VCGen-based Modular Verification of Relational Properties

Preprint in arXiv (January 2024)

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

Click here to find out how to access more activity.