p‐Version interface elements in global/local analysis
From MaRDI portal
Publication:4331375
DOI10.1002/NME.398zbMATH Open1082.74552OpenAlexW2039154448MaRDI QIDQ4331375FDOQ4331375
Authors: John E. Schiermeier, Rajendra Kansakar, Dao Mong, Jonathan B. Ransom, Mohammad A. Aminpour, W. Jefferson Stroud
Publication date: 2002
Published in: International Journal for Numerical Methods in Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/nme.398
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
Uses Software
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)