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 Oct 24 06:23:57 2024 CEST.