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