-
Alexandre Duret-Lutz authored
* doc/org/tools.org, src/bin/man/genltl.x, src/bin/man/ltl2tgba.x, src/bin/man/ltl2tgta.x, src/bin/man/ltlcross.x, src/bin/man/ltlfilt.x, src/bin/man/randltl.x: Add bibliographic references, mostly to the ATVA'13 paper.
3e3d320d