A domain specific language approach for genetic regulatory mechanisms analysis

DOI10.1007/978-3-642-35179-2_6MaRDI QIDQ4909353zbMATH OpenOpenAlexFDO

Authors Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal

Publication date 13 March 2013

Published in Transactions on Petri Nets and Other Models of Concurrency VI (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-35179-2_6

zbMATH Keywords

domain specific languagesgenetic regulatory mechanisms

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40)

Recommendations

• Model Checking Software
• A Hybrid Approach to Modeling Biological Systems
• Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach
• An approach to the engineering of cellular models based on P systems
• Model checking of biological systems

Cited in

(1)

• GUBS, a behaviour-based language for design in synthetic biology

This page was built for publication: A domain specific language approach for genetic regulatory mechanisms analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4909353)