Bma: Visual Tool for Modeling and Analyzing Biological Networks
Abstract elided by the publisher.
Related papers
- Bringing LTL Model Checking to Biologists VMCAI 2017
- Diderot: a parallel DSL for image analysis and visualization PLDI 2012
- SyReNN: A Tool for Analyzing Deep Neural Networks TACAS 2021
- Synthesis of biological models from mutation experiments POPL 2013
- Formal Semantics and Verification of Network-Based Biocomputation Circuits VMCAI 2021
- Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude SLE 2008
- Systems biology, models, and concurrency POPL 2008
- Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks CAV 2013