Openings
Available Theses
HiWi Calls
PhD Positions
Research @ COMSYS
Research Vision
Publications
Books
Technical Reports
Projects
Past Projects
Research Groups
Cyber-Physical Systems
Network Architectures
Security and Privacy
Systems Analysis
Research Overview
Industrial Internet of Things
Internet Measurements

Publications

Year:  
All :: 2011
Author:  
All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, Ö, P, Q, R, S, T, U, V, W, X, Y, Z 
All :: Kaiser, Kalde, Kaminski, Kangasharju, ... , Kutafina 
1.
Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Carsten Weise, Stefan Kowalewski, and Klaus Wehrle
Scalable Symbolic Execution of Distributed Systems
Proceedings of the 31st IEEE International Conference on Distributed Computing Systems (ICDCS 2011), June 2011, Minneapolis, MN, USA, page 333-342.
Publisher: IEEE Computer Society, Los Alamitos, CA, USA
June 2011
DOI: 10.1109/ICDCS.2011.28
ISBN: 978-0-7695-4364-2
Export as:
BibTeX, XML
- Impressum | Datenschutz -