swMATH12034MaRDI QIDQ23968FDOQ23968
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/BFb0028771
Cited In (13)
- Title not available (Why is that?)
- Algebraic Methodology and Software Technology
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automatic verification of reduction techniques in higher order logic
- MDGs
- Omega
- Title not available (Why is that?)
- Salsa
- Using forward reachability analysis for verification of lossy channel systems
- Compositional Verification for Component-Based Systems and Application
- Abstraction as the key for invariant verification
- Title not available (Why is that?)
This page was built for software: InVeSt
