Hybrid semantics for Bio-PEPA.

Published in: Inf. Comput. (2014)

Keyphrases

logic programming
formal semantics
semantic information
conceptual model
specification language
database
data sets
information systems
artificial neural networks
logic programs
logical framework