Creating Study Plans by Generating Workflow Models from Constraints in Temporal Logic

Aus SDQ-Institutsseminar
Version vom 5. Januar 2018, 11:04 Uhr von Jutta Mülle (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Marcel Groß |email=uddnw@student.kit.edu |vortragstyp=Bachelorarbeit |betreuer=Jutta Mülle |termin=Institutsseminar/2018-03-16 |kurzf…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)