Skip to content
GitLab
Explore
Sign in
Spot
Spot
Issues
#355
missing ltlsynt reference
Now that a paper exists, it should be mentioned at least in
doc/org/citing.org
bib/man/ltlsynt.x
(see other man pages with bibliographic sections for examples)
Edited
Jun 08, 2018
by
Alexandre Duret-Lutz