Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
doc
spot.bib
Find file
Blame
History
Permalink
gfguarante: update citation
· b7a0a8c3
Alexandre Duret-Lutz
authored
Nov 14, 2023
* spot/twaalgos/gfguarantee.hh: Properly cite the LICS'18 paper. * doc/spot.bib: Add the entry.
b7a0a8c3