diff options
| author | Roberto Bagnara <roberto.bagnara@bugseng.com> | 2013-12-28 09:30:36 +0100 |
|---|---|---|
| committer | Roberto Bagnara <roberto.bagnara@bugseng.com> | 2013-12-28 09:30:36 +0100 |
| commit | f0da0f473789aa10c7faa44b3cc6d89f9ab3deb9 (patch) | |
| tree | 67a14316d7b311bbe41041f2976d56984cfe6104 | |
| parent | c32dd0d310008e8351d187206e97f6daeb1e73f5 (diff) | |
| download | ppl-f0da0f473789aa10c7faa44b3cc6d89f9ab3deb9.tar.gz ppl-f0da0f473789aa10c7faa44b3cc6d89f9ab3deb9.tar.bz2 ppl-f0da0f473789aa10c7faa44b3cc6d89f9ab3deb9.zip | |
Fixed title capitalization.
| -rw-r--r-- | doc/ppl_citations.bib | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index abd639f5d..f3c2af100 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -2051,7 +2051,8 @@ Summarizing: @Article{GallardoP13, Author = "{M.-d.-M}. Gallardo and L.Panizo", - Title = "Extending model checkers for hybrid system verification: the case study of SPIN.", + Title = "Extending Model Checkers for Hybrid System Verification: + The Case Study of {SPIN}", Journal = "Software Testing, Verification and Reliability", Publisher = "John Wiley & Sons, Ltd.", DOI = "10.1002/stvr.1505", @@ -2077,6 +2078,7 @@ Summarizing: currently working on the extension of other model checkers." } + @Inproceedings{MihailaSS13, Author = "{P.-L}. Garoche and T. Kahsai and C. Tinelli", Title = "Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers", |