Κοκολογιαννάκης, Μ., & Σαγώνας, Κ. (2016). Συστηματικός έλεγχος ορθότητας του read-copy-update υπό ακολουθιακά συνεπή και ασθενή μοντέλα μνήμης. Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών.
Παραπομπή Chicago StyleΚοκολογιαννάκης, Μιχαήλ, and Κωνσταντίνος Σαγώνας. Συστηματικός έλεγχος ορθότητας του Read-copy-update υπό ακολουθιακά συνεπή και ασθενή μοντέλα μνήμης. Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, 2016.
Παραπομπή MLAΚοκολογιαννάκης, Μιχαήλ, and Κωνσταντίνος Σαγώνας. Συστηματικός έλεγχος ορθότητας του Read-copy-update υπό ακολουθιακά συνεπή και ασθενή μοντέλα μνήμης. Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, 2016.