Number of items: 1.
Conference or Workshop Item (A Paper)
Virtema, Jonni and Hofmann, Jana and Finkbeiner, Bernd and Kontinen, Juha and Yang, Fan
(2021)
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity.
This list was generated on Thu Nov 21 12:32:16 2024 CET.