@article{AhrendDylla12,
AUTHOR = {Ahrendt, Wolfgang and Dylla, Maximilian},
TITLE = {A System for Compositional Verification of Asynchronous Objects},
BOOKTITLE = {Science of Computer Programming},
PUBLISHER = {Elsevier},
YEAR = {2012},
MONTH = {October},
pages = {1289--1309},
VOLUME = {77},
ISSUE = {12},
}