From ebd4c2dc7a598657c50f4bcf82adff50f94d7af5 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 20 Jun 2016 13:31:33 +0200 Subject: [PATCH] * doc/org/citing.org: Typo. --- doc/org/citing.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/org/citing.org b/doc/org/citing.org index 8f9e4dc06..804cc1834 100644 --- a/doc/org/citing.org +++ b/doc/org/citing.org @@ -9,7 +9,7 @@ If you need to cite the Spot project in some academic paper, please use the following reference: -- *Spot 2.0 –- a framework for LTL and ω-automata manipulation*, +- *Spot 2.0 — a framework for LTL and ω-automata manipulation*, /Alexandre Duret-Lutz/, /Alexandre Lewkowicz/, /Amaury Fauchille/, /Thibaud Michaud/, /Etienne Renault/, and /Laurent Xu/. To appear in Proc. of ATVA'16. Chiba, Japan, Oct. 2016. ([[https://www.lrde.epita.fr/~adl/dl/adl_bib.html#duret.16.atva2][bib]] | [[https://www.lrde.epita.fr/~adl/dl/adl/duret.16.atva2.pdf][pdf]])