Model checking mobile processes

From MaRDI portal
Publication:1817220