Iterative Variable Reordering: Taming Huge System Families
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
- Clemens Dubslaff - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
Datum
2 Apr. 2022
Workshop
| Titel | 5th Workshop on Models for Formal Analysis of Real Systems |
|---|---|
| Kurztitel | MARS 2022 |
| Veranstaltungsnummer | 5 |
| Beschreibung | part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2022) |
| Dauer | 2 April 2022 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Technische Universität München & Online |
| Stadt | Garching |
| Land | Deutschland |