APA Style
Olderdog, E.R, Dierks, H.. (2008).
Real-time system: formal specification and automatic verification .
USA:
Cambridge University Press.
Chicago Style
Olderdog, E.R, Dierks, H..
Real-time system: formal specification and automatic verification.
USA:
Cambridge University Press,
2008.
E-Book.
MLA Style
Olderdog, E.R, Dierks, H..
Real-time system: formal specification and automatic verification.
USA:
Cambridge University Press,
2008.
E-Book.
Turabian Style
Olderdog, E.R, Dierks, H..
Real-time system: formal specification and automatic verification.
USA:
Cambridge University Press,
2008.
E-Book.