Warning: session_start() [function.session-start]: open(/var/lib/php5/sess_9a38e6f5a5154106ebaf0f821cde6b62, 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 Repair for Probabilistic Systems
Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka.
TACAS. Parosh Aziz Abdulla, K. Rustan M. Leino (Eds.). pp. 326-340. Lecture Notes in Computer Science vol. 6605. Springer. 2011.

@PROCEEDINGS{DBLP:conf/tacas/2011,
  title = {{Model Repair for Probabilistic Systems}},
  author = {Bartocci, Ezio and Grosu, Radu and Katsaros, Panagiotis and Ramakrishnan, C. R. and Smolka, Scott A.},
  booktitle = {TACAS},
  editor = {Parosh Aziz Abdulla and  K. Rustan M. Leino},
  pages = {326-340},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6605},
  year = {2011},
}

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