Timed testing of concurrent systems

From MaRDI portal
Publication:1899907