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