Normal view
MARC view
Ničković, Dejan (Personal Name)
Machine generated authority record.
Work cat.: ()1372624: Formal Modeling and Analysis of Timed Systems, 2012.
