Hinweis
Dieser Eintrag wurde automatisch aus einem Altsystem migriert. Die Daten wurden nicht überprüft und entsprechen eventuell nicht den Qualitätskriterien des vorliegenden Systems.
Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/24524
-
Titel: 
Computer Aided Verification
-
Zitat: 
Computer Aided Verification. (2018). In H. Chockler & G. Weissenbacher (Eds.), Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-319-96145-3
-
Verlags-DOI: 
10.1007/978-3-319-96145-3
-
Publikationstyp: 
Buch - Sammelband
de
Herausgeber_innen: 
Chockler, Hana 
Weissenbacher, Georg 
-
Organisations­einheit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Reihe: 
Lecture Notes in Computer Science 
-
ISBN: 
9783319961453
9783319961446
-
Datum (veröffentlicht): 
2018
-
Umfang: 
0
-
Verlag: 
Springer
-
Peer Reviewed: 
Ja
-
Wissenschafts­zweig: 
Informatik
-
Enthalten in den Sammlungen:
Book

Zur Langanzeige

Google ScholarTM

Check