Normal view
MARC view
Horváth, András, 1974- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): EPEW (Workshop) (2006 : Budapest, Hungary) 29738, Formal methods and stochastic models for performance evaluation :, ©2006.