Gaya APA

Formal Modeling and Analysis of Timed Systems. (). : .

Gaya MLA

Formal Modeling and Analysis of Timed Systems. 1st ed. 2005.. : , . E Book.