@inproceedings{7d8bb1d2d2874011ab1a13d786f0a377,
title = "Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper)",
author = "Andreas Griesmayer and Bernhard Aichernig and {Broch Johnsen}, Einar and Rudolf Schlatte",
year = "2009",
language = "English",
volume = "5522",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "225--230",
booktitle = "IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE)",
address = "Germany",
note = "IFIP International Conference on Formal Techniques for Distributed Systems ; Conference date: 09-06-2009 Through 12-06-2009",
}