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/86029
-
Titel: 
History of Model Checking
-
Zitat: 
Veith, H. (2014). History of Model Checking. Clarke Symposium 2014: Celebrating 25 Years of Model Checking, Pittsburgh, PA, USA, Non-EU. http://hdl.handle.net/20.500.12708/86029
-
Publikationstyp: 
Präsentation - Keynote-Präsentation
de
Autor_innen: 
Veith, Helmut 
-
Organisations­einheit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Datum (veröffentlicht): 
2014
-
Veranstaltungs­name: 
Clarke Symposium 2014: Celebrating 25 Years of Model Checking 
-
Veranstaltungs­zeitraum: 
19-Sep-2014 - 20-Sep-2014
-
Veranstaltungs­ort: 
Pittsburgh, PA, USA, Außerhalb der EU
-
Wissenschafts­zweig: 
Informatik
-
Enthalten in den Sammlungen:
Presentation

Zur Langanzeige

Seiten Aufrufe

126
aufgerufen am 23.11.2023

Google ScholarTM

Check