146
Voted
FIDJI
2003
Springer
15 years 8 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...