Originalsprache | Englisch |
---|---|
Qualifikation | Bachelor of Science |
Gradverleihende Hochschule | |
Betreuer/-in / Berater/-in |
|
Publikationsstatus | Veröffentlicht - 2015 |
Extern publiziert | Ja |
Extending Freeze LTL on Multi-Attributed Data Words with Quantifiers
Anton Pirogov