Tomáš, V., Lijun, Z.(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.Electronic Resource.