Module: ppl/w3ppl Branch: master Commit: e3a5b77e3df140ebc7889f24f2d4abba0e143468 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=e3a5b77e3df...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Jul 17 20:37:07 2009 +0200

Halbwachs93 completed.

---

htdocs/Documentation/ppl.bib | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/htdocs/Documentation/ppl.bib b/htdocs/Documentation/ppl.bib index 3567d69..cdd3d58 100644 --- a/htdocs/Documentation/ppl.bib +++ b/htdocs/Documentation/ppl.bib @@ -1511,7 +1511,7 @@ Title = "Delay Analysis in Synchronous Programs", Pages = "333--346", Booktitle = "Computer Aided Verification: - Proceedings of the 5th International Conference", + Proceedings of the 5th International Conference (CAV'93)", Address = "Elounda, Greece", Editor = "C. Courcoubetis", Publisher = "Springer-Verlag, Berlin",