Normal view
MARC view
Wolter, Katinka (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): EPEW (Workshop) (4th : 2007 : Berlin, Germany) 22724, Formal methods and stochastic models for performance evaluation :, ©2007.