Module: ppl/ppl Branch: master Commit: 0d00cfeb5cc6eccd934ef864e4f45731374995ee URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d00cfeb5cc6e... Author: Roberto Bagnara <roberto.bagnara@bugseng.com> Date: Sun Dec 29 10:57:17 2013 +0100 Fixed bogus label. --- doc/ppl_citations.bib | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 26eb69d..9ef85bc 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -3458,7 +3458,7 @@ Summarizing: \url{http://www.irisa.fr/manifestations/2006/CSTVA06/}." } -@Inproceedings{L, +@Inproceedings{LegayT13, Author = "A. Legay and L.-M. Traonouez", Title = "{PyEcdar}: Towards Open Source Implementation for Timed Systems", Booktitle = "Automated Technology for Verification and Analysis: