Gaya APA
Vojnar, T., Zhang, L. (2018).
Tools and algorithms for the construction and analysis of systems .
Cham, Switzerland:
Springer Open.
Gaya MLA
Vojnar, Tomáš., Zhang, Lijun.
"Tools and algorithms for the construction and analysis of systems".
Cham, Switzerland:
Springer Open,
2018.
Ebook.