Cited in
(12)- Quality engineering: leveraging heterogeneous information (invited talk)
- Translating FSP into LOTOS and networks of automata
- The electronic tool integration platform: Concepts and design
- MetaGame
- SecureUML
- ToolBus
- MANIFOLD
- General Purpose Hash Function Library
- csp2B
- dSPIN
- CLDC
- Model checking dynamic memory allocation in operating systems
This page was built for software: jETI
