mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
mediaTUM Content
University Bibliography
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
Research Centers
TUM Board of Management
Functional Units
Partnerschaftliche Einrichtungen
Schools
TUM School of Computation, Information and Technology
(45852)
Examination Papers
(3626)
Departments
(38009)
Images CIT
(6)
Technical Reports
2024
(5)
2025
2023
(1)
2022
(2)
2021
(4)
2020
(7)
2019
(3)
2018
(2)
2017
(5)
2016
(17)
2015
(13)
2014
(14)
2013
(22)
2012
(22)
2011
(23)
2010
(25)
2009
(24)
2008
(34)
2007
(25)
2006
(17)
2005
(18)
2004
(22)
2003
(23)
2002
(15)
2001
(11)
2000
(16)
1999
(23)
1998
(32)
1997
(49)
1996
(41)
1995
(26)
1994
(1)
ehemalige Lehrstühle und Fachgebiete
(3664)
Publikationen
(7)
TUM School of Engineering and Design
Center of Life and Food Sciences Weihenstephan
TUM School of Management
TUM School of Medicine and Health
TUM School of Natural Sciences
(14811)
TUM School of Social Sciences and Technology
(9136)
TUM Campus Straubing für Biotechnologie und Nachhaltigkeit
Service Facilities
TUM Institute for LifeLong Learning
Central Administration
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Technische Berichte
2013
Back
Back to start of result list
Permanent link for displayed object
If you experience problems opening the document, please try this link.
Title:
Relational Abstract Interpretation for the Verification of 2-Hypersafety Properties (Proofs)
Author(s):
Máté Kovács
Year:
2013
BibTeX
Open attachment browser...
Occurrences:
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Technische Berichte
2013
Login
BibTeX
BibTeX