Dynamic Reductions for Model Checking Concurrent Software

Titel in Übersetzung: Dynamic Reductions for Model Checking Concurrent Software

Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher

Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

Titel in ÜbersetzungDynamic Reductions for Model Checking Concurrent Software
OriginalspracheEnglisch
Bandabs/1611.09318
PublikationsstatusVeröffentlicht - 2016

Bibliographische Notiz

Arxive CORR

Systematik der Wissenschaftszweige 2012

  • 102 Informatik

Dieses zitieren