Succinct

swMATH9703MaRDI QIDQ21682FDOQ21682

Author name not available (Why is that?)

Cited In (5)

• Pathway analysis for BioAmbients
• From flow logic to static type systems for coordination languages
• A framework for security analysis of mobile wireless networks
• Type Inference for Correspondence Types
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for software: Succinct