Property preserving abstractions for the verification of concurrent systems

Overview of attention for article published in Formal Methods in System Design, January 1995

Altmetric Badge

Mentioned by

patent: 1 patent

Citations

dimensions_citation: 256 Dimensions

Readers on

mendeley: 41 Mendeley
citeulike: 1 CiteULike

Summary Patents Dimensions citations

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

Method and apparatus for transforming test stimulus

Grant US-6915248-B1

United States of America