@Article{AhrendtDylla12,
title = "A system for compositional verification of asynchronous objects",
journal = "Science of Computer Programming",
volume = "77",
number = "12",
pages = "1289 - 1309",
year = "2012",
note = "<ce:title>International Conference on Formal Engineering Methods—ICFEM 2009</ce:title>",
issn = "0167-6423",
doi = "10.1016/j.scico.2010.08.003",
url = "http://www.sciencedirect.com/science/article/pii/S0167642310001553",
author = "Wolfgang Ahrendt and Maximilian Dylla",
keywords = "Verification",
keywords = "Concurrency",
keywords = "Semantics",
keywords = "Object-orientation",
publisher = {Elsevier}
}