Ecosyste.ms: Papers
An open API service providing mapping between scientific papers and software projects that are mentioned in them.
All mentions data is based on the CZI Software Mentions dataset.
Papers: 10.1186/1471-2105-12-490
https://doi.org/10.1186/1471-2105-12-490
"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis
Cited by: 34
Author(s): Gustavo Arellano, Julián Argil, Eugenio Azpeitia, Mariana Benítez, Miguel Carrillo, Pedro Arturo Góngora, David A. Rosenblueth, Elena Álvarez-Buylla
Published: almost 13 years ago
Software Mentions 3
pypi: Mocha
A mid stack Flask based framework that put structure in the file system. Features: Caching, Mailing, Storage, CSRF, recaptcha, Cors. Supports HTML, Markdown and Jade and morePapers that mentioned: 13