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

Dill, D. (2000, August 1). Model checking Java programs (abstract only). Gehalten auf der. https://doi.org/10.1145/347324.349113

ISO-690 (author-date, English)

DILL, David, 2000. Model checking Java programs (abstract only). In: . 1 August 2000.

Modern Language Association 9th edition

Dill, D. Model checking Java programs (abstract only). 2000, https://doi.org/10.1145/347324.349113.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

Dill, D. (2000), „Model checking Java programs (abstract only).“, in , Bd. , verfügbar unter:https://doi.org/10.1145/347324.349113.

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