Items where authors include "Hofmann, J."

Proceedings Paper

Virtema, J., Hofmann, J., Finkbeiner, B. et al. (2 more authors) (2021) Linear-time temporal logic with team semantics: expressivity and complexity. In: Bojańczyk, M. and Chekuri, C., (eds.) 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021). IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), 15-17 Dec 2021, Virtual Conference. Leibniz International Proceedings in Informatics (LIPIcs), 213 . Schloss Dagstuhl , 52:1-52:17. ISBN 9783959772150