Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
American Psychological Association 6th edition

Alur, R., Mc Dougall, M., & Yang, Z. (2002, Januar 1). Exploiting Behavioral Hierarchy for Efficient Model Checking. Gehalten auf der.

ISO-690 (author-date, English)

ALUR, Rajeev, MCDOUGALL, Michael und YANG, Zijiang, 2002. Exploiting Behavioral Hierarchy for Efficient Model Checking. In: . 1 Januar 2002.

Modern Language Association 9th edition

Alur, R., M. Mc Dougall, und Z. Yang. Exploiting Behavioral Hierarchy for Efficient Model Checking. 2002.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

Alur, R., Mc Dougall, M. und Yang, Z. (2002), „Exploiting Behavioral Hierarchy for Efficient Model Checking“, in , Bd. .

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.