alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* doc/org/citing.org: Typo.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2016-06-20 13:31:33 +02:00
parent 31627eac0b
commit 9080a9227f
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/org/citing.org
View file

@ -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]])