Abstract State Machines

Overview of attention for book

Cover of 'Abstract State Machines'

Table of Contents

Attention for Chapter 1: Introduction

Altmetric Badge

Citations

dimensions_citation: 691 Dimensions

Summary Dimensions citations

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

691

The most recent citing publications are shown below. View all 691 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.