Succinct

swMATH9703MaRDI QIDQ21682FDOQ21682

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-540-24730-2_21

Cited In (6)

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

This page was built for software: Succinct