Normal view
MARC view
Étienne André, Mariëlle Stoelinga (Personal Name)
Machine generated authority record
Work cat.: (OSt)1641397: Étienne André, Mariëlle Stoelinga, Formal Modeling and Analysis of Timed Systems