Model Checking Value-Passing Modal Specifications

From MaRDI portal
Publication:3455083