Media type: E-Article Title: Efficient deadlock analysis of component-based software architectures Contributor: Lambertz, Christian; Majster-Cederbaum, Mila Published: Elsevier BV, 2013 Published in: Science of Computer Programming, 78 (2013) 12, Seite 2488-2510 Language: English DOI: 10.1016/j.scico.2013.02.006 ISSN: 0167-6423 Origination: Footnote: Access State: Open Access