↓ Skip to main content

The software model checker Blast

Overview of attention for article published in International Journal on Software Tools for Technology Transfer, September 2007
Altmetric Badge

About this Attention Score

  • In the top 25% of all research outputs scored by Altmetric
  • One of the highest-scoring outputs from this source (#6 of 111)
  • Good Attention Score compared to outputs of the same age (72nd percentile)

Mentioned by

patent
4 patents
wikipedia
3 Wikipedia pages

Citations

dimensions_citation
387 Dimensions

Readers on

mendeley
75 Mendeley
citeulike
10 CiteULike