Tools and Algorithms for the Construction and Analysis of Systems

Overview of attention for book

Cover of 'Tools and Algorithms for the Construction and Analysis of Systems'

Table of Contents

Attention for Chapter: Generating Extended Resolution Proofs with a BDD-Based SAT Solver

Altmetric Badge

Mentioned by

twitter: 1 X user

Citations

dimensions_citation: 1 Dimensions

Readers on

mendeley: 2 Mendeley

Summary X Dimensions citations

So far, Dimensions has found 1 citation of this research output.

1

The most recent citing publication is shown below. View this citation on Dimensions.

Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021

Article in International Journal on Software Tools for Technology Transfer (February 2023)

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

Click here to find out how to access more activity.