Main public logs
From MaRDI portal
Combined display of all available logs of MaRDI portal. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 00:48, 31 January 2026 Import260131120115 talk contribs deleted redirect Supplementary material for "Compositional Verification of Concurrent Systems by Combining Bisimulations" by overwriting (Deleted to make way for move from "Supplementary material for "Compositional Verification of Concurrent Systems by Combining Bisimulations" (Dataset published at Zenodo repository.)")
