From transition systems to variability models and from lifted model checking back to \textsf{UPPAAL} (Q5217306)

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

From transition systems to variability models and from lifted model checking back to \textsf{UPPAAL}