From 767e0522c97fca47cbf7cb45e22f70b4a71f70a9 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 6 Sep 2015 16:38:19 +0200 Subject: [PATCH] tl: fix two typo in the bibliography MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * doc/tl/tl.bib (babiak.12.tacas): Typos in authors. Reported by Jan Strejček. --- doc/tl/tl.bib | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/tl/tl.bib b/doc/tl/tl.bib index 34b1d2ecf..37b98bffe 100644 --- a/doc/tl/tl.bib +++ b/doc/tl/tl.bib @@ -1,6 +1,6 @@ @InProceedings{ babiak.12.tacas, - author = {Thom{\'a}{\v{s}} Babiak and Mojm{\'i}r - K{\v{r}}et{\'i}nsk{\'y} and Vojt{\v{e}}ch {\v{R}e}eh{\'a}k + author = {Tom{\'a}{\v{s}} Babiak and Mojm{\'i}r + K{\v{r}}et{\'i}nsk{\'y} and Vojt{\v{e}}ch {\v{R}}eh{\'a}k and Jan Strej{\v c}ek}, title = {{LTL} to {B\"u}chi Automata Translation: Fast and More Deterministic},