Verification of reactive systems. Formal methods and algorithms.

From MaRDI portal
Publication:1395897