Normal view
MARC view
- Raskin, Jean-François
Raskin, Jean-François (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Raskin, Jean-François., Formal Modeling and Analysis of Timed Systems, 2007.