Cited in
(14)- scientific article; zbMATH DE number 1979541 (Why is no real title available?)
- Algebraic Methodology and Software Technology
- scientific article; zbMATH DE number 1905119 (Why is no real title available?)
- TREX
- MDGs
- Omega
- Salsa
- Automatic verification of reduction techniques in higher order logic
- scientific article; zbMATH DE number 1796145 (Why is no real title available?)
- scientific article; zbMATH DE number 1629964 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 2102702 (Why is no real title available?)
This page was built for software: InVeSt
