Loading [MathJax]/extensions/tex2jax.js

Team semantics for the specification and verification of hyperproperties

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Autorschaft

  • Andreas Krebs
  • Arne Meier
  • Jonni Virtema
  • Martin Zimmermann

Organisationseinheiten

Externe Organisationen

  • Eberhard Karls Universität Tübingen
  • Hasselt University
  • Universität des Saarlandes
Plum Print visual indicator of research metrics
  • Citations
    • Citation Indexes: 30
  • Captures
    • Readers: 6
see details
1 - 1 von 1Seitengröße: 10
sortieren: Beginn
Reihenfolge:

Projekte

  1. Nichtklassische Logiken: Parametrisierte Komplexität und Enumeration

    Meier, A. (Projektleiter*in (Principal Investigator)), Mahmood, Y. (Projektmitarbeiter*in) & Schindler, I. (Projektmitarbeiter*in)

    1 Okt. 2013 → 31 Juli 2022

    Projekt: Forschung