[IEEE 2008 14th IEEE International Conference on Parallel and Distributed Systems (ICPADS) - Melbourne, Australia (2008.12.8-2008.12.10)] 2008 14th IEEE International Conference on Parallel and Distributed Systems - An Online Model Checking Tool for Safety and Liveness Bugs
Qi, Zhengwei, Liu, Liang, Liang, Alei, Wang, Hao, Chen, YingYear:
2008
Language:
english
DOI:
10.1109/icpads.2008.73
File:
PDF, 207 KB
english, 2008