Formal Modeling and Analysis of Timed Systems

שנה

2011

שפה

English

סדרה

Lecture Notes in Computer Science -- 6919

הוצאה

Springer-Verlag GmbH Berlin Heidelberg

מהדורות

3

ISBN

9783642243097

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