On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman. On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. In Monika Heiner, Adelinde M. Uhrmacher, editors, Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings. Volume 5307 of Lecture Notes in Computer Science, pages 251-268, Springer, 2008. [doi]

This author has not been identified. Look up 'Aurélien Rizk' in GoogleThis author has not been identified. Look up 'Grégory Batt' in GoogleThis author has not been identified. Look up 'François Fages' in GoogleThis author has not been identified. Look up 'Sylvain Soliman' in Google

runs on WebDSL