On using temporal logic for refinement and compositional verification of concurrent systems

From MaRDI portal
Publication:674008