Warning: session_start() [function.session-start]: open(/var/lib/php5/sess_fbaea1b7b46a2ddab8caf72bc481d02c, 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
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance.
Candida Attanasio, Flavio Corradini, Paola Inverardi.
FASE. pp. 45-59. 1999.

@INPROCEEDINGS{ACI99,
  title = {{Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance.}},
  author = {Attanasio, Candida and Corradini, Flavio and Inverardi, Paola},
  booktitle = {FASE},
  pages = {45-59},
  year = {1999},
}

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