Abstract State Machines

Overview of attention for book

Cover of 'Abstract State Machines'

Table of Contents

Attention for Chapter 5: Synchronous Multi-Agent ASMs

Altmetric Badge

Citations

dimensions_citation: 687 Dimensions

Summary Dimensions citations

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

687

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

Modal Extensions of the Logic of Abstract State Machines

Book chapter (June 2024)

From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code

Book chapter (June 2024)

Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines

Book chapter (June 2024)

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

Click here to find out how to access more activity.