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

Klare, H., Pepin, A., Burger, E., & Reussner, R. [ca. 2020]. A formal approach to prove compatibility in transformation networks. In Karlsruhe reports in informatics [Cd]. Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik. https://doi.org/10.5445/IR/1000121444

ISO-690 (author-date, English)

KLARE, Heiko, PEPIN, Aurélien, BURGER, Erik und REUSSNER, Ralf, 2020. A formal approach to prove compatibility in transformation networks. Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik.

Modern Language Association 9th edition

Klare, H., A. Pepin, E. Burger, und R. Reussner. „A formal approach to prove compatibility in transformation networks“. Karlsruhe reports in informatics, cd, KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2020, https://doi.org/10.5445/IR/1000121444.

Mohr Siebeck - Recht (Deutsch - Österreich)

Klare, Heiko/Pepin, Aurélien/Burger, Erik/Reussner, Ralf: A formal approach to prove compatibility in transformation networks, Karlsruhe 2020.

Emerald - Harvard

Klare, H., Pepin, A., Burger, E. und Reussner, R. (2020), A formal approach to prove compatibility in transformation networks, Karlsruhe reports in informatics, Bd. , KIT Karlsruher Institut für Technologie, Fakultät für Informatik, Karlsruhe, verfügbar unter:https://doi.org/10.5445/IR/1000121444.

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