Normal view
MARC view
Lakhnech, Y. (Yassine) (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): FORMATS (Conference) (2004 : Grenoble, France) 18604, Formal techniques, modelling and analysis of timed and fault-tolerant systems :, 2004.