APA (7e ed.) Bronvermelding

Antonino, P., Gibson-Robinson, T., & Roscoe, A. (2017). The automatic detection of token structures and invariants using SAT checking. Springer, Berlin, Heidelberg.

Chicago (17e ed.) Bronvermelding

Antonino, P., T. Gibson-Robinson, en A. Roscoe. The Automatic Detection of Token Structures and Invariants Using SAT Checking. Springer, Berlin, Heidelberg, 2017.

MLA (9e ed.) Bronvermelding

Antonino, P., et al. The Automatic Detection of Token Structures and Invariants Using SAT Checking. Springer, Berlin, Heidelberg, 2017.

Let op: Deze citaties zijn niet altijd 100% accuraat.