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},