A stubborn attack on state explosion

Overview of attention for article published in Formal Methods in System Design, December 1992

Altmetric Badge

Mentioned by

patent: 1 patent

Citations

dimensions_citation: 143 Dimensions

Readers on

mendeley: 14 Mendeley

Summary Patents Dimensions citations

So far, Altmetric has seen 1 patent that references this research output.

On-the-fly model checking with partial-order state space reduction

Grant US-5615137-A

United States of America