Penggayaan APA
Pettersson, Paul., Yi, Wang., SpringerLink (Online service). ().
Formal Modeling and Analysis of Timed Systems (1st ed. 2005.).
:
.
Chicago Style
Pettersson, Paul., Yi, Wang., SpringerLink (Online service).
Formal Modeling and Analysis of Timed Systems.
1st ed. 2005.
:
,
.
E Book.
MLA Style
Pettersson, Paul., Yi, Wang., SpringerLink (Online service).
Formal Modeling and Analysis of Timed Systems.
1st ed. 2005.
:
,
.
E Book.
Turabian Style
Pettersson, Paul., Yi, Wang., SpringerLink (Online service).
Formal Modeling and Analysis of Timed Systems.
1st ed. 2005.
:
,
.
E Book.