APA (7e ed.) Bronvermelding
Ezio Bartocci, C. R. R. Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings. Springer.
Chicago (17e ed.) Bronvermelding
Ezio Bartocci, C. R. Ramakrishnan. Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings. Berlín, Alemania: Springer.
MLA (9e ed.) Bronvermelding
Ezio Bartocci, C. R. Ramakrishnan. Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings. Springer.
Let op: Deze citaties zijn niet altijd 100% accuraat.