-
Alexandre Duret-Lutz authored
* doc/org/satmin.org, src/bin/man/dstar2tgba.x, src/bin/man/ltl2tgba.x: Cite the FORTE'14 paper. * doc/org/tools.org, src/bin/man/ltl2tgba.x: Replace the VECOS'11 citation by IJCCBS'14. * src/bin/man/ltl2tgba.x: Cite SPIN'13.
97617037