A Declarative Debugger for Maude Functional Modules.

Rafael Caballero Narciso Martí-Oliet Adrián Riesco Alberto Verdejo

Published in: WRLA (2008)

Keyphrases

functional modules
protein interaction networks
biological networks
information flow
protein protein interactions
complex networks
biological processes
knowledge representation
data sets
databases
information systems
knowledge discovery
statistical models
network topology
protein interaction
protein complexes