26 search results - page 6 / 6 » Model Checking Synchronized Products of Infinite Transition ... |
ECOOP
2008
Springer
13 years 6 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...