Tools and Algorithms for the Construction and Analysis of Systems (scientific article; zbMATH DE number 2227819)

From MaRDI portal
(Redirected from Publication:5703754)
Tools and Algorithms for the Construction and Analysis of Systems (scientific article; zbMATH DE number 2227819)