6 search results - page 2 / 2 » coop 2004 |
COOP
2004
13 years 6 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...