Formal Modeling and Analysis of Timed Systems
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
Autor:
Kim G. Larsen, Peter Niebert
Dostępność:
Dostępna u dostawcy
Wysyłamy za 5-8 dni
216.95
zł
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop o...
