The paper "Linear-Time Temporal Logic with Event-Freezing Functions" has been published in the proceedings of the Eighth International Symposium on Games, Automata, Logics, and Formal Verification (GANDALF). The paper will be presented this week at the conference, which will be held in Rome, Italy, from 20 to 22 September 2017.
You need to be a member of CITADEL to add comments!
Replies