Formal modeling and analysis of timed systems

שנה

2007

שפה

English

סדרה

Lecture notes in computer science -- 4763.

הוצאה

Springer

מהדורות

3

עמודים

368

ISBN

9783540754534

מקור הנתונים: Wikidata