StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka. StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. In Pierpaolo Degano, Rocco De Nicola, José Meseguer, editors, Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Volume 5065 of Lecture Notes in Computer Science, pages 493-502, Springer, 2008. [doi]

This author has not been identified. Look up 'Ezio Bartocci' in GoogleThis author has not been identified. Look up 'Flavio Corradini' in GoogleThis author has not been identified. Look up 'Radu Grosu' in GoogleThis author has not been identified. Look up 'Emanuela Merelli' in GoogleThis author has not been identified. Look up 'Oliviero Riganelli' in GoogleThis author has not been identified. Look up 'Scott A. Smolka' in Google

runs on WebDSL