Extending Freeze LTL on Multi-Attributed Data Words with Quantifiers

Anton Pirogov

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

Zitieren