[IEEE 21st IEEE/ACM International Conference on Automated...

  • Main
  • [IEEE 21st IEEE/ACM International...

[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-loic
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2006
Language:
english
DOI:
10.1109/ase.2006.10
File:
PDF, 156 KB
english, 2006
Conversion to is in progress
Conversion to is failed