Formal Executable Models of Cell Signaling Primitives

Authors:
Carolyn Talcott
Affiliations:
-
Venue:
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Year:
2006

Citing 0
Cited 2

Modeling of Genetic Regulatory Network in Stochastic π-Calculus

BICoB '09 Proceedings of the 1st International Conference on Bioinformatics and Computational Biology
Pathway logic

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology

Quantified Score

Hi-index	0.00

Visualization

Abstract