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.) BronvermeldingAntonino, 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.) BronvermeldingAntonino, 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.