Normal view
MARC view
Bozga, Marius (Personal Name)
Machine generated authority record.
Work cat.: ()1375440: Formal Modeling and Analysis of Timed Systems, 2014.
