Accurate Centralization for Applying Model Checking on Networked Applications

Cyrille Artho, Pierre-Loic Garoche
January 2006
PDF Cite
Type
Conference paper
Publication
21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan
"own"

Related