diff options
| author | Roberto Bagnara <roberto.bagnara@bugseng.com> | 2013-12-28 08:47:59 +0100 |
|---|---|---|
| committer | Roberto Bagnara <roberto.bagnara@bugseng.com> | 2013-12-28 08:47:59 +0100 |
| commit | f6149a7984b927ae3941871a5efd3d115b5b314a (patch) | |
| tree | 113110999cd52b5ecab86b39673a379cd3746560 | |
| parent | cdb6ec47f9cb79e3b3d8af4aee9b8c4c97195e5e (diff) | |
| download | ppl-f6149a7984b927ae3941871a5efd3d115b5b314a.tar.gz ppl-f6149a7984b927ae3941871a5efd3d115b5b314a.tar.bz2 ppl-f6149a7984b927ae3941871a5efd3d115b5b314a.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 7543961f8..834ea42a6 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -497,7 +497,8 @@ Summarizing: @Inproceedings{AndreFS12, Author = "{\'E}. Andr{\'e} and L. Fribourg and R. Soulat", Title = "Enhancing the Inverse Method with State Merging", - Booktitle = "Proceedings of the 4th International Symposium on {NASA} Formal Methods, {NFM} 2012", + Booktitle = "NASA Formal Methods: + Proceedings of the 4th International Symposium (NFM 2012)", Editor = "A. E. Goodloe and S. Person", Address = "Norfolk, USA", Pages = "381--396", |