Commit 5f76f346 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* doc/tl/tl.bib: Properly quote PSL.

parent 818b58ec
@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
......@@ -73,7 +72,7 @@
Circuits and Systems},
number = 10,
pages = {1737--1750},
title = {Symbolic Compilation of PSL},
title = {Symbolic Compilation of {PSL}},
volume = 27,
year = 2008,
date = {2009-03-20},
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment