Gaya APA

Vojnar, Tomáš, Zhang, Lijun. (2018). Tools and algorithms for the construction and analysis of systems . Cham, Switzerland: Springer Open.

Gaya Chicago

Vojnar, Tomáš, Zhang, Lijun. Tools and algorithms for the construction and analysis of systems. Cham, Switzerland: Springer Open, 2018. Ebook.

Gaya MLA

Vojnar, Tomáš, Zhang, Lijun. Tools and algorithms for the construction and analysis of systems. Cham, Switzerland: Springer Open, 2018. Ebook.

Gaya Turabian

Vojnar, Tomáš, Zhang, Lijun. Tools and algorithms for the construction and analysis of systems. Cham, Switzerland: Springer Open, 2018. Ebook.