Gaya APA

service), S, (. et al (). Tools and Algorithms for the Construction and Analysis of Systems (1st ed. 2005.). : .

Gaya MLA

service), SpringerLink, (Online. et al. "Tools and Algorithms for the Construction and Analysis of Systems". 1st ed. 2005. : , . E Book.