p‐Version interface elements in global/local analysis
From MaRDI portal
Publication:4331375
Recommendations
- Local-global compatibility for \(l=p\). I
- Local-global compatibility for \(l=p\). II
- scientific article; zbMATH DE number 1223731
- scientific article; zbMATH DE number 1456967
- Global intuitionistic analysis
- Local reasoning for global invariants. II: Dynamic boundaries
- Process-local static analysis of synchronous processes
- Local model checking and protocol analysis
Cites work
This page was built for publication: p‐Version interface elements in global/local analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4331375)