Warning: session_start() [function.session-start]: open(/var/lib/php5/sess_61be258c099f6e599fd1cff25cf6edc7, 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
Automated Analysis of MUTEX Algorithms with FASE
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler.
GandALF. Giovanna D'Agostino, Salvatore La Torre (Eds.). pp. 45-59. EPTCS vol. 54. 2011.

@PROCEEDINGS{DBLP:journals/corr/abs-1106-0814,
  title = {{Automated Analysis of MUTEX Algorithms with FASE}},
  author = {Buti, Federico and Donato, Massimo Callisto De and Corradini, Flavio and Berardini, Maria Rita Di and Vogler, Walter},
  booktitle = {GandALF},
  editor = {Giovanna D'Agostino and  Salvatore La Torre},
  pages = {45-59},
  series = {EPTCS},
  volume = {54},
  year = {2011},
}

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