InVeSt

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