Proceedings of the 2014 International SPIN Symposium on Model Checking of Software. Association for Computing Machinery (ACM).
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումProceedings of the 2014 International SPIN Symposium on Model Checking of Software. Association for Computing Machinery (ACM).
MLA (9րդ խմբ.) ՄեջբերումProceedings of the 2014 International SPIN Symposium on Model Checking of Software. Association for Computing Machinery (ACM).
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.