Skip to content
  • Alexandre Duret-Lutz's avatar
    doc: update bibliographic references · 97617037
    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