Warning: session_start() [function.session-start]: open(/var/lib/php5/sess_5ad22688a1c1787aa98fbe5062f25d95, 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
@PROCEEDINGS{DBLP:conf/sfm/2004,
  title = {{Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures}},
  booktitle = {SFM},
  editor = {Marco Bernardo and  Flavio Corradini},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3185},
  year = {2004},
}

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