mediaTUM
Universitätsbibliothek
Technische Universität München
Benutzer: Gast
Login
de
en
mediaTUM Gesamtbestand
Hochschulbibliographie
2024
(2930)
2023
(7321)
2022
(8635)
2021
(8884)
2020
(8178)
2019
(8873)
Fakultäten
(8177)
Architektur
(118)
Bau Geo Umwelt
(808)
Chemie
(169)
Elektrotechnik und Informationstechnik
(1251)
Informatik
(524)
Luftfahrt, Raumfahrt und Geodäsie
(505)
Maschinenwesen
(1236)
Mathematik
(163)
Medizin
(761)
Physik
(252)
Sport- und Gesundheitswissenschaften
(355)
TUM Campus Straubing für Biotechnologie und Nachhaltigkeit
(107)
TUM School of Education
(136)
TUM School of Governance
(104)
Wirtschaftswissenschaften
(380)
Wissenschaftszentrum Weihenstephan
(1316)
Integrated Research Centers
(438)
Zentrale Einrichtungen
(258)
2018
(8706)
2017
(8694)
2016
(8829)
2015
(8221)
2014
(7133)
2013
(6750)
2012
(5780)
2011
(5563)
2010
(5420)
2009
(4595)
2008
(4104)
1989 - 2007
Elektronische Prüfungsarbeiten
Open Access Publikationen
Forschungsdaten
TUM.University Press
Sammlungen
Projekte
Einrichtungen
mediaTUM Gesamtbestand
Hochschulbibliographie
2019
Fakultäten
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Dokumenttyp:
Konferenzband
Herausgeber:
Ibrahim, Amjad; Rehwald, Simon; Pretschner, Alexander
Titel:
Efficient Checking of Actual Causality with SAT Solving
Kongress / Zusatzinformation:
Engineering Secure and Dependable Software Systems (2019)
Band / Teilband / Volume:
Volume 53
Verlag / Institution:
IOS Press
Jahr:
2019
Seiten/Umfang:
241 - 255
WWW:
http://ebooks.iospress.nl/volumearticle/51826
DOI-Link:
doi:10.3233/978-1-61499-977-5-241
BibTeX
Vorkommen:
mediaTUM Gesamtbestand
Hochschulbibliographie
2019
Fakultäten
Informatik
Informatik 4 - Lehrstuhl für Software & Systems Engineering (Prof. Pretschner)
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Computer Science
Informatik 4 - Lehrstuhl für Software & Systems Engineering (Prof. Pretschner)