Warning: session_start() [function.session-start]: open(/var/lib/php5/sess_3daacf550d55602b90253145da4ca385, O_RDWR) failed: Read-only file system (30) in /var/www/cosy/biblio/papers_fun.php on line 13

Warning: session_start() [function.session-start]: Cannot send session cookie - headers already sent by (output started at /var/www/cosy/biblio/papers_fun.php:13) in /var/www/cosy/biblio/papers_fun.php on line 13

Warning: session_start() [function.session-start]: Cannot send session cache limiter - headers already sent (output started at /var/www/cosy/biblio/papers_fun.php:13) in /var/www/cosy/biblio/papers_fun.php on line 13

Warning: Cannot modify header information - headers already sent by (output started at /var/www/cosy/biblio/papers_fun.php:13) in /var/www/cosy/biblio/header.php on line 2
CoSy Bibliography
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka.
Concurrency, Graphs and Models. Pierpaolo Degano, Rocco De Nicola, Jos\'e Meseguer (Eds.). pp. 493-502. Lecture Notes in Computer Science vol. 5065. Springer. 2008.

@PROCEEDINGS{DBLP:conf/birthday/2008montanari,
  title = {{StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes}},
  author = {Bartocci, Ezio and Corradini, Flavio and Grosu, Radu and Merelli, Emanuela and Riganelli, Oliviero and Smolka, Scott A.},
  booktitle = {Concurrency, Graphs and Models},
  editor = {Pierpaolo Degano and  Rocco De Nicola and  Jos\'e Meseguer},
  pages = {493-502},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5065},
  year = {2008},
}

Warning: Unknown: open(/var/lib/php5/sess_3daacf550d55602b90253145da4ca385, O_RDWR) failed: Read-only file system (30) in Unknown on line 0

Warning: Unknown: Failed to write session data (files). Please verify that the current setting of session.save_path is correct (/var/lib/php5) in Unknown on line 0