An open API service providing mapping between scientific papers and software projects that are mentioned in them.

Papers: 10.1007/s10009-018-0501-x

https://doi.org/10.1007/s10009-018-0501-x

Model checking: recent improvements and applications

Cited by: 1
Author(s): Dragan Bošnački, Anton Wijs
Published: about 7 years ago

Software Mentions 2

bioconductor: ASSET
An R package for subset-based association analysis of heterogeneous traits and subtypes
Papers that mentioned: 72
Very Likely Science (100)
cran: Storm
Write Storm Bolts in R using the Storm Multi-Language Protocol
Papers that mentioned: 62
Very Likely Science (75)