Μπάρλας, Κ. Δ., & Στεφανέας, Π. Σ. Επαλήθευση πρωτοκόλλων ασφάλειας ασυρμάτων δικτύων με χρήση της αλγεβρικής γλώσσας προδιαγραφών CafeOBJ.
Παραπομπή Chicago StyleΜπάρλας, Κωνσταντίνος Δ, and Πέτρος Σ Στεφανέας. Επαλήθευση πρωτοκόλλων ασφάλειας ασυρμάτων δικτύων με χρήση της αλγεβρικής γλώσσας προδιαγραφών CafeOBJ.
Παραπομπή MLAΜπάρλας, Κωνσταντίνος Δ, and Πέτρος Σ Στεφανέας. Επαλήθευση πρωτοκόλλων ασφάλειας ασυρμάτων δικτύων με χρήση της αλγεβρικής γλώσσας προδιαγραφών CafeOBJ.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.