From 57d5969079612cdb5897e5d2d0e82af79473ae50 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 9 Jan 2018 16:46:44 +0100
Subject: [PATCH] fix some bibliographic references

* spot/twaalgos/cobuchi.hh, spot/twaalgos/totgba.hh: Here.
---
 spot/twaalgos/cobuchi.hh | 10 +++++-----
 spot/twaalgos/totgba.hh  |  4 ++--
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/spot/twaalgos/cobuchi.hh b/spot/twaalgos/cobuchi.hh
index e2bec918b..e54404058 100644
--- a/spot/twaalgos/cobuchi.hh
+++ b/spot/twaalgos/cobuchi.hh
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2017 Laboratoire de Recherche et Développement
+// Copyright (C) 2017, 2018 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -60,7 +60,7 @@ namespace spot
   /// This function works in top of the augmented subset construction algorithm
   /// and is described in section 3.1 of:
   /** \verbatim
-      @Article{boker.2009.lcs,
+      @Article{boker.2011.fossacs,
         author    = {Udi Boker and Orna Kupferman},
         title     = {Co-Büching Them All},
         booktitle = {Foundations of Software Science and Computational
@@ -88,7 +88,7 @@ namespace spot
   /// automaton and then calls nsa_to_nca() on it. It is described in section
   /// 3.2 of:
   /** \verbatim
-      @Article{boker.2009.lcs,
+      @Article{boker.2011.fossacs,
         author    = {Udi Boker and Orna Kupferman},
         title     = {Co-Büching Them All},
         booktitle = {Foundations of Software Science and Computational
@@ -113,7 +113,7 @@ namespace spot
   /// information and then runs a breakpoint construction. The algorithm is
   /// described in section 4 of:
   /** \verbatim
-      @Article{boker.2009.lcs,
+      @Article{boker.2011.fossacs,
         author    = {Udi Boker and Orna Kupferman},
         title     = {Co-Büching Them All},
         booktitle = {Foundations of Software Science and Computational
@@ -135,7 +135,7 @@ namespace spot
   /// information and then runs a breakpoint construction. The algorithm is
   /// described in section 4 of:
   /** \verbatim
-      @Article{boker.2009.lcs,
+      @Article{boker.2011.fossacs,
         author    = {Udi Boker and Orna Kupferman},
         title     = {Co-Büching Them All},
         booktitle = {Foundations of Software Science and Computational
diff --git a/spot/twaalgos/totgba.hh b/spot/twaalgos/totgba.hh
index 0dbc70c3d..c68f10184 100644
--- a/spot/twaalgos/totgba.hh
+++ b/spot/twaalgos/totgba.hh
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2015, 2016 Laboratoire de Recherche et Développement
+// Copyright (C) 2015, 2016, 2018 Laboratoire de Recherche et Développement
 // de l'Epita.
 //
 // This file is part of Spot, a model checking library.
@@ -74,7 +74,7 @@ namespace spot
   /// This function is an optimized version of the construction described
   /// by Lemma 4 and 5 of the paper below.
   /** \verbatim
-      @Article{boker.2009.lcs,
+      @Article{boker.2011.fossacs,
         author    = {Udi Boker and Orna Kupferman},
         title     = {Co-Büching Them All},
         booktitle = {Foundations of Software Science and Computational