Iterative Variable Reordering: Taming Huge System Families
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- Clemens Dubslaff - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
Date
2 Apr 2022
Workshop
| Title | 5th Workshop on Models for Formal Analysis of Real Systems |
|---|---|
| Abbreviated title | MARS 2022 |
| Conference number | 5 |
| Description | part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2022) |
| Duration | 2 April 2022 |
| Website | |
| Degree of recognition | International event |
| Location | Technische Universität München & Online |
| City | Garching |
| Country | Germany |