QUEST Leibniz Forschungsschule

Synchronous Team Semantics for Temporal Logics.

verfasst von: Andreas Krebs, Arne Meier, Jonni Virtema, Martin Zimmermann
Organisationseinheit(en): Institut für Theoretische Informatik
Institut für Dynamik und Schwingungen
Externe Organisation(en): The University of Sheffield
Typ: Preprint
Band: abs/2409.18667
Publikationsdatum: 2024
Publikationsstatus: Elektronisch veröffentlicht (E-Pub)
Elektronische Version(en): https://doi.org/10.48550/arXiv.2409.18667 (Zugang: Unbekannt)
https://dblp.org/db/journals/corr/corr2409.html#abs-2409-18667 (Zugang: Unbekannt)

BibTeX

@techreport{98935349d7604b0b9642bb859e846827,
title = "Synchronous Team Semantics for Temporal Logics.",
author = "Andreas Krebs and Arne Meier and Jonni Virtema and Martin Zimmermann",
note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",
year = "2024",
doi = "10.48550/arXiv.2409.18667",
language = "English",
volume = "abs/2409.18667",
type = "WorkingPaper",
}

Letzte Änderung: 09.02.23; Dr. A. Wanner Druckversion