[IEEE 2011 31st International Conference on Distributed Computing Systems (ICDCS) - Minneapolis, MN, USA (2011.06.20-2011.06.24)] 2011 31st International Conference on Distributed Computing Systems - Scalable Symbolic Execution of Distributed Systems
Sasnauskas, Raimondas, Dustmann, Oscar Soria, Kaminski, Benjamin Lucien, Wehrle, Klaus, Weise, Carsten, Kowalewski, StefanYear:
2011
Language:
english
DOI:
10.1109/icdcs.2011.28
File:
PDF, 451 KB
english, 2011