diff options
| author | Roberto Bagnara <roberto.bagnara@bugseng.com> | 2013-12-28 09:57:46 +0100 |
|---|---|---|
| committer | Roberto Bagnara <roberto.bagnara@bugseng.com> | 2013-12-28 09:57:46 +0100 |
| commit | 01fd0ad80bf20c095f6a3b03efdb093a4668c138 (patch) | |
| tree | b634a0a94aa3a35e694ff088293ae5a65f973d29 | |
| parent | c8809ae0cddab276e04aabcd7a0f870720e5a691 (diff) | |
| download | ppl-01fd0ad80bf20c095f6a3b03efdb093a4668c138.tar.gz ppl-01fd0ad80bf20c095f6a3b03efdb093a4668c138.tar.bz2 ppl-01fd0ad80bf20c095f6a3b03efdb093a4668c138.zip | |
Book title fixed.
| -rw-r--r-- | doc/ppl_citations.bib | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 5a3dbdde2..27eab0763 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -4845,7 +4845,8 @@ Summarizing: @Incollection{ZuffereyWH12, Author = "D. Zufferey and T. Wies and T. A. Henzinger", Title = "Ideal Abstractions for Well-Structured Transition Systems", - Booktitle = "Proceedings of 13th International Conference on Verification, Model Checking, and Abstract Interpretation, {VMCAI} 2012", + Booktitle = "Verification, Model Checking, and Abstract Interpretation: + Proceedings of 13th International Conference (VMCAI 2012)", Series = "Lecture Notes in Computer Science", Editor = "V. Kuncak and A. Rybalchenko", Publisher = "Springer-Verlag, Berlin", |