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 | Models for Formal Analysis of Real Systems (MARS 2022) |
|---|---|
| Conference number | |
| Duration | 2 April 2022 |
| Website | |
| Degree of recognition | International event |
| Location | ETAPS 2022 |
| City | München |
| Country | Germany |