Erweiterung von Freeze-LTL auf mehrfach attributierten Datenwörtern um 2 neue Quantoren

for Degree: 
Contact Person: 
Status: 
Completed
Document: 

Abstract - Zusammenfassung

 

Problem Statement - Beschreibung

 

Goals - Ziele

  •  

 

Workplan - Vorgehen

  1.  

 

Requirements - Anforderungen

 

Literature - Literatur