@inproceedings{f43f6e6723924f6a81ea5ec182528fa5,
title = "Dynamic Symbolic Execution of Distributed Concurrent Objects",
author = "Andreas Griesmayer and Bernhard Aichernig and {Broch Johnsen}, Einar and Rudolf Schlatte",
year = "2009",
doi = "doi:10.1007/978-3-642-02949-3_9",
language = "English",
volume = "5668",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "105--120",
booktitle = "Tests and Proofs",
address = "Germany",
note = "International Conference on Tests And Proofs : TAP 2009 ; Conference date: 02-07-2009 Through 03-07-2009",
}