Dataset - CKAN

Towards an integrative approach for the modeling and formal verification of b...

The study of large models of biological networks by means of analysis and simulation tools leads to large amounts of predictions. This raises the question of how to...
- HTML

You can also access this registry using the API (see API Docs).