diff options
| -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", |