Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity

Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Originalspråkengelska
Titel på gästpublikationProceedings of FSTTCS 2021
Status!!Accepted/In press - 2021
MoE-publikationstypA4 Artikel i en konferenspublikation

Citera det här