Pages that link to "Item:Q3068848"

The following pages link to A Language for Biochemical Systems: Design and Formal Specification (Q3068848):

Displaying 10 items.

• LBS (Q24301) (← links)
• Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) (← links)
• Bio-PEPAd: a non-Markovian extension of Bio-PEPA (Q764354) (← links)
• Identification of biological transition systems using meta-interpreted logic programs (Q1621890) (← links)
• Formal biochemical space with semantics in Kappa and BNGL (Q1744366) (← links)
• Modelling of DNA mismatch repair with a reversible process calculus (Q2148904) (← links)
• Executable biochemical space for specification and analysis of biochemical systems (Q2229140) (← links)
• Hybrid semantics for Bio-PEPA (Q2453221) (← links)
• Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon (Q3068849) (← links)
• A Syntactic Abstraction for Rule-Based Languages with Binding (Q5166643) (← links)