Warning: session_start() [function.session-start]: open(/var/lib/php5/sess_532c4e18d2b1645811e4ecfaded52687, 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
Model Checking Biological Oscillators
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei.
In the proceedings of the 2th From Biology To Concurrency International Workshop (FBTC'08), Reykjavik, Island, July, 2008. pp. 41-58. Electronic Notes in Theoretical Computer Science vol. 229 no. 1. 2009.

Categories: Computational Systems Biology, Simulation
@INPROCEEDINGS{BCMT08,
  title = {{Model Checking Biological Oscillators}},
  author = {Bartocci, Ezio and Corradini, Flavio and Merelli, Emanuela and Tesei, Luca},
  booktitle = {In the proceedings of the 2th From Biology To Concurrency International Workshop (FBTC'08), Reykjavik, Island, July, 2008},
  pages = {41-58},
  series = {Electronic Notes in Theoretical Computer Science},
  volume = {229},
  number = {1},
  year = {2009},
}

Warning: Unknown: open(/var/lib/php5/sess_532c4e18d2b1645811e4ecfaded52687, 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