Warning: session_start() [function.session-start]: open(/var/lib/php5/sess_a9f5fe61504b9fcc2b47bdb7fffe7e5a, 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
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei.
Sci. Ann. Comp. Sci.. pp. 1-31. vol. 20. 2010. 

@ARTICLE{DBLP:journals/cuza/BartocciCBMT10,
  title = {{Shape Calculus. A Spatial Mobile Calculus for 3D Shapes}},
  author = {Bartocci, Ezio and Corradini, Flavio and Berardini, Maria Rita Di and Merelli, Emanuela and Tesei, Luca},
  journal = {Sci. Ann. Comp. Sci.},
  pages = {1-31},
  volume = {20},
  year = {2010},
}

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