Normal view
MARC view
Braberman, Víctor (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): FORMATS (Conference) (11th : 2013 : Buenos Aires, Argentina) 49740, Formal modeling and analysis of timed systems :