Model checking JAVA programs using JAVA PathFinder

Overview of attention for article published in International Journal on Software Tools for Technology Transfer, March 2000

Altmetric Badge

About this Attention Score

Among the highest-scoring outputs from this source (#17 of 111)

Mentioned by

patent: 4 patents

Citations

dimensions_citation: 515 Dimensions

Readers on

mendeley: 161 Mendeley
citeulike: 4 CiteULike

Summary Patents Dimensions citations

So far, Altmetric has seen 4 patents that reference this research output.

Method and apparatus for an itinerary planner

Grant US-8050948-B2

United States of America

Method and apparatus for an itinerary planner

Application US-8050949-B2

United States of America

Method and apparatus for an itinerary planner

Application US-7895065-B2

United States of America

Method and apparatus for a routing agent

Application US-7239962-B2

United States of America