Linear-Time Temporal Logic with Team Semantics : Expressivity and Complexity
- Publication date
- 1 January 2021
- Publisher
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik
- Doi
Abstract
Peer revieweSimilar works
Available Versions
Last time updated on 15/05/2022
Last time updated on 01/01/2022