شماره ركورد

31865

شماره مدرك

4393389

نويسنده/تنالگان

Sriram Sankaranarayanan

عنوان

Formal Modeling and Analysis of Timed Systems

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319229744;9783319229751