![](/img/cover-not-exists.png)
[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Software model checking for distributed systems with selector-based, non-blocking communication
Artho, Cyrille, Hagiya, Masami, Potter, Richard, Tanabe, Yoshinori, Weitl, Franz, Yamamoto, MitsuharuYear:
2013
Language:
english
DOI:
10.1109/ase.2013.6693077
File:
PDF, 253 KB
english, 2013