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 moved page Supplementary material for "Compositional Verification of Concurrent Systems by Combining Bisimulations" (Dataset published at Zenodo repository.) to Supplementary material for "Compositional Verification of Concurrent Systems by Combining Bisimulations" over redirect (Move profile page according to new naming schema `Supplementary material for "Compositional Verification of Concurrent Systems by Combining Bisimulations" (Dataset published at Zenodo repository.)`->`Supplementary material for "Compositional Verification of Concurrent Systems by Combining Bisimulations"` import260131120115)
