[IEEE 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Tokyo (2006.09.18-2006.09.22)] 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Accurate Centralization for Applying Model Checking on Networked Applications
Artho, Cyrille, Garoche, Pierre-loicYear:
2006
Language:
english
DOI:
10.1109/ase.2006.10
File:
PDF, 156 KB
english, 2006