The following pages link to Succinct (Q21682):
Displayed 5 items.
- A framework for security analysis of mobile wireless networks (Q860908) (← links)
- Pathway analysis for BioAmbients (Q953532) (← links)
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Type Inference for Correspondence Types (Q5170185) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308411) (← links)