STL: Combining Stream-based and Temporal Logics.

Eike von Tils

OriginalspracheEnglisch
QualifikationMaster of Science
Gradverleihende Hochschule
Betreuer/-in / Berater/-in
  • Leucker, Martin, Betreuer*in
  • Tantau, Till, Betreuer*in
PublikationsstatusVeröffentlicht - 2014
Extern publiziertJa

Andere Dateien und Links

Zitieren