@inproceedings{7e6e701a79ca44909ff5345b7389cc69,
title = "Generating adapters for concurrent component protocol synchronisation",
author = "Schmidt, {Heinz W} and Reussner, {Ralf H}",
year = "2002",
language = "English",
isbn = "0-7923-7683-8",
pages = "213 -- 229",
editor = "B Jacobs and A Rensink",
booktitle = "Formal Methods for Open Object-Based Distributed Systems V: Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002)",
publisher = "Kluwer Academic Publishers",
address = "Germany",
note = "International Conference on Formal Methods for Open Object-Based Distributed Systems 2002 ; Conference date: 01-01-2002",
}