Formal Modeling and Analysis of Timed Systems
Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
Szerző:
Paul Pettersson, Wang Yi
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
19 792
Ft
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference...
