
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/%7D." }
-@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: