Yassine Lakhnech

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Yassine Lakhnech, Sergio Yovine · 2004
פרטי הספר
- שנה
- 2004
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 3
- ISBN
- 9783540302063
מקור הנתונים: Wikidata

Yassine Lakhnech, Sergio Yovine · 2004
מקור הנתונים: Wikidata