%0 Generic
%T Team Semantics for the Specification and Verification of Hyperproperties
%A Krebs, Andreas
%A Meier, Arne
%A Virtema, Jonni
%A Zimmermann, Martin
%A Andreas Krebs and Arne Meier and Jonni Virtema and Martin Zimmermann
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K Hyperproperties
%K Team Semantics
%K LTL
%K Model Checking
%K Satisfiability
%D 2018
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation