Skip to content Skip to footer

Iterative Variable Reordering: Taming Huge System Families

Activity: Talk or presentation at external institutions/eventsTalk/PresentationContributed

Persons and affiliations

Date

2 Apr 2022

Workshop

TitleModels for Formal Analysis of Real Systems (MARS 2022)
Conference number
Duration2 April 2022
Website
Degree of recognitionInternational event
LocationETAPS 2022
CityMünchen
CountryGermany

Keywords

DFG Classification of Subject Areas according to Review Boards

    Subject groups, research areas, subject areas according to Destatis