Skip to content
GitLab
Explore
Sign in
af3
AF3
Issues
#2297
[Analysis] Allow to refer to a state automaton state in a TL specification
(from redmine: issue id 2297, created on 2015-02-18, closed on 2017-12-13)